Exploring relations between answer set programs

DOI10.1007/978-3-642-20832-4_7MaRDI QIDQ3001915zbMATH OpenOpenAlexFDO

Authors Katsumi Inoue, Chiaki Sakama

Publication date 19 May 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20832-4_7

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Generality Relations in Answer Set Programming
• Program Correspondence under the Answer-Set Semantics: The Non-ground Case
• Logic Programming
• scientific article; zbMATH DE number 3956409
• A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there

Cited in

(6)

• On the relation between SPARQL1.1 and Answer Set Programming
• My work with Victor Marek: a mathematician looks at answer set programming
• Relating constraint answer set programming languages and algorithms
• Generality Relations in Answer Set Programming
• Static and dynamic orderings on Dungean argumentation frameworks -- an overview
• Finding similar/diverse solutions in answer set programming

This page was built for publication: Exploring relations between answer set programs

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