Sampler programs: the stable model semantics of abstract constraint programs revisited

DOI10.4230/LIPICS.ICLP.2010.94MaRDI QIDQ2883081zbMATH OpenOpenAlexFDO

Authors Tomi Janhunen

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_7d82.html

zbMATH Keywords

translationstable modelschoice rulesabstract constraintsprogram reduction

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Logic programs with abstract constraint atoms: the role of computations
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Sampler programs: the stable model semantics of abstract constraint programs revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883081)