2026-07-21T14:13:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6733 2024-03-06T10:29:55Z ddc:004 open_access

Theory Solving Made Easy with Clingo 5 Gebser, Martin Kaminski, Roland Kaufmann, Benjamin Ostrowski, Max Schaub, Torsten Wanko, Philipp Answer Set Programming Theory Language Theory Propagation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko 2016 Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2016.2 urn:nbn:de:0030-drops-67337 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.2 eng https://creativecommons.org/licenses/by/3.0/legalcode