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)

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

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)