Head-Elementary-Set-Free Logic Programs

DOI10.1007/978-3-540-72200-7_14MaRDI QIDQ5425405zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Joohyung Lee, Yuliya Lierler

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_14

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On elementary loops of logic programs
• On the complexity of identifying head-elementary-set-free programs
• Propositional semantics for disjunctive logic programs
• scientific article; zbMATH DE number 1114054
• Logic Programming

Cited in

(7)

• Conflict-driven answer set solving: from theory to practice
• Graph-based construction of minimal models
• Paracoherent answer set computation
• On elementary loops of logic programs
• On the complexity of identifying head-elementary-set-free programs
• On the tractability of minimal model computation for some CNF theories
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Head-Elementary-Set-Free Logic Programs

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