Content: Publications

Theory Solving Made Easy with Clingo 5

In Proc. Thirty-second International Conference on Logic Programming (ICLP'16), pp. 2:1-2:15

Authors:Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko
Type:Article in Conference Proceedings
Publication Date:October 2016
Conference:Thirty-second International Conference on Logic Programming (ICLP'16)

Abstract: 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.

BibTeX
@InProceedings{gekakaosscwa16a-2016,
  title =	{{Theory Solving Made Easy with Clingo 5}},
  author =	{Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub and Philipp Wanko},
  booktitle =	{Proc. of Thirty-second International Conference on Logic Programming (ICLP'16)},
  year =	{2016},
  pages =	{2:1-2:15},
}