Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
From MaRDI portal
Publication:368050
DOI10.1007/978-3-642-40564-8zbMath1272.68012OpenAlexW2499029680WikidataQ62623726 ScholiaQ62623726MaRDI QIDQ368050
No author found.
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
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)
Related Items (6)
Dynamic Reasoning Systems ⋮ Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP ⋮ claspfolio2: Advances in Algorithm Selection for Answer Set Programming ⋮ Disjunctive answer set solvers via templates ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Hybrid metabolic network completion
This page was built for publication: Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
