Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

DOI10.1017/S1471068405002577zbMath1109.68028OpenAlexW2169808787WikidataQ58049482 ScholiaQ58049482MaRDI QIDQ3426200

Axel Polleres, Thomas Eiter

Publication date: 8 March 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002577

zbMATH Keywords

answer set programmingdisjunctive logic programsautomated program synthesismeta-interpretationguess and check paradigm

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (8)

The power of non-ground rules in Answer Set Programming ⋮ Stable-unstable semantics: Beyond NP with normal logic programs ⋮ Beyond NP: Quantifying over Answer Sets ⋮ Complexity results for answer set programming with bounded predicate arities and implications ⋮ Computing Diverse Optimal Stable Models ⋮ plasp 3: Towards Effective ASP Planning ⋮ Complex optimization in answer set programming ⋮ A multiparametric view on answer set programming

Uses Software

• ASSAT

This page was built for publication: Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications