Head-Elementary-Set-Free Logic Programs
From MaRDI portal
Publication:5425405
DOI10.1007/978-3-540-72200-7_14zbMath1149.68333MaRDI 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
68N17: Logic programming
Related Items
Unnamed Item, On the tractability of minimal model computation for some CNF theories, 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
Uses Software