Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
DOI10.1007/978-3-642-20895-9zbMATH Open1214.68009OpenAlexW2493995303MaRDI QIDQ532641FDOQ532641
Authors:
Publication date: 5 May 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20895-9
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 (14)
- Generating explanations for biomedical queries
- A logic for qualified syllogisms
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- Optimal scheduling for exposed datapath architectures with buffered processing units by ASP
- Justifying answer sets using argumentation
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- Compiling \(\mathrm{input}^\ast\) FO\((\cdot)\) inductive definitions into tabled prolog rules for IDP3
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Temporal logic programs with variables
- Fuzzy answer sets approximations
- Answer set programming as a modeling language for course timetabling
- Refining the semantics of epistemic specifications
- Gearing up for effective ASP planning
- Programming in logic without logic programming
This page was built for publication: Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532641)
