Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.
DOI10.1007/11546207zbMATH Open1086.68002OpenAlexW4376598721MaRDI QIDQ2369271FDOQ2369271
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
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)
- Semi-equilibrium models for paracoherent answer set programs
- Disjunctive answer set solvers via templates
- Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR '99. El Paso, TX, USA, December 2--4, 1999. Proceedings
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Conflict-driven answer set solving: from theory to practice
- Refining the semantics of epistemic specifications
- Backdoors to tractable answer set programming
- Complexity of super-coherence problems in ASP
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)
