Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.

DOI10.1007/11546207MaRDI QIDQ2369271zbMATH OpenOpenAlexFDO

Authors

Publication date 5 May 2006

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

Full work available at URL https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited in

(8)

• Conflict-driven answer set solving: from theory to practice
• Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR '99. El Paso, TX, USA, December 2--4, 1999. Proceedings
• Backdoors to tractable answer set programming
• Semi-equilibrium models for paracoherent answer set programs
• Disjunctive answer set solvers via templates
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Complexity of super-coherence problems in ASP
• Refining the semantics of epistemic specifications

This page was built for publication: Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.

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