Lazy Model Expansion by Incremental Grounding

DOI10.4230/LIPIcs.ICLP.2012.201zbMath1281.68208OpenAlexW2117888397MaRDI QIDQ5398058

Peter J. Stuckey, Broes de Cat, Marc Denecker

Publication date: 25 February 2014

Full work available at URL: https://doi.org/10.4230/LIPIcs.ICLP.2012.201

zbMATH Keywords

first-order logicgroundingmodel generationknowledge representation and reasoningIDP framework

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

ASP Solving for Expanding Universes ⋮ Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 ⋮ The power of non-ground rules in Answer Set Programming ⋮ Incremental Answer Set Programming with Overgrounding

This page was built for publication: Lazy Model Expansion by Incremental Grounding