> Details

Gebser, Martin [Author]; Kaminski, Roland [Author]; Kaufmann, Benjamin [Author]; Ostrowski, Max [Author]; Schaub, Torsten [Author]; Wanko, Philipp [Author] ; Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko [Contributor]

Theory Solving Made Easy with Clingo 5

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article; Electronic Conference Proceeding; Text
  • Title: Theory Solving Made Easy with Clingo 5
  • Contributor: Gebser, Martin [Author]; Kaminski, Roland [Author]; Kaufmann, Benjamin [Author]; Ostrowski, Max [Author]; Schaub, Torsten [Author]; Wanko, Philipp [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
  • Language: English
  • DOI: https://doi.org/10.4230/OASIcs.ICLP.2016.2
  • Keywords: Theory Language ; Theory Propagation ; Answer Set Programming
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access