Head-Elementary-Set-Free Logic Programs

DOI10.1007/978-3-540-72200-7_14zbMath1149.68333OpenAlexW1568617324MaRDI QIDQ5425405

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)

Related Items (7)

On elementary loops of logic programs ⋮ Unnamed Item ⋮ On the tractability of minimal model computation for some CNF theories ⋮ Paracoherent answer set computation ⋮ Conflict-driven answer set solving: from theory to practice ⋮ On the complexity of identifying head-elementary-set-free programs ⋮ Graph-based construction of minimal models

Uses Software

• ASSAT

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