ASP-Core-2 Input Language Format.

Francesco Calimeri,Wolfgang Faber,Martin Gebser,Giovambattista Ianni,Roland Kaminski,Thomas Krennwallner,Nicola Leone,Marco Maratea,Francesco Ricca,Torsten Schaub

THEORY AND PRACTICE OF LOGIC PROGRAMMING（2020）

引用 165|浏览0

暂无评分

摘要

Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document, we present theASP-CORE-2standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.

查看译文

关键词

Answer Set Programming,standard language,knowledge representation and reasoning,standardization

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要