ASP-Core-2 Input Language Format

doi:10.1017/s1471068419000450

ASP-Core-2 Input Language Format

2019-12-20

0

OA

AI

DOI：10.1017/s1471068419000450

原文链接

查看原文

摘要

En 中文

AbstractStandardization 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 the ASP-CORE-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.

ASP-Core-2 Input Language Format

摘要

AI总结

期刊

机构

引用论文