Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings

DOI10.1007/978-3-642-20895-9MaRDI QIDQ532641zbMATH OpenOpenAlexFDO

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

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

(14)

• A logic for qualified syllogisms
• Generating explanations for biomedical queries
• 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)