文章基本信息

标题：Theory Solving Made Easy with Clingo 5
本地全文：下载
作者：Martin Gebser ; Roland Kaminski ; Benjamin Kaufmann 等
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2016
卷号：52
页码：1-15
DOI：10.4230/OASIcs.ICLP.2016.2
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Answer Set Programming (ASP) is a model, ground, and solve paradigm. The integration of application- or theory-specific reasoning into ASP systems thus impacts on many if not all elements of its workflow, viz. input language, grounding, intermediate language, solving, and output format. We address this challenge with the fifth generation of the ASP system clingo and its grounding and solving components by equipping them with well-defined generic interfaces facilitating the manifold integration efforts. On the grounder's side, we introduce a generic way of specifying language extensions and propose an intermediate format accommodating their ground representation. At the solver end, this is accompanied by high-level interfaces easing the integration of theory propagators dealing with these extensions.
关键词：Answer Set Programming; Theory Language; Theory Propagation