Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings

DOI10.1007/978-3-642-40564-8MaRDI QIDQ368050zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 17 September 2013

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-40564-8

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)

• Dynamic reasoning systems
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Disjunctive answer set solvers via templates
• Hybrid metabolic network completion
• 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
• Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
• Optimal scheduling for exposed datapath architectures with buffered processing units by ASP

This page was built for publication: Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings

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