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

DOI10.1007/978-3-642-20895-9zbMath1214.68009OpenAlexW2493995303MaRDI QIDQ532641

No author found.

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) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Related Items (12)

Gearing Up for Effective ASP Planning ⋮ Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP ⋮ claspfolio2: Advances in Algorithm Selection for Answer Set Programming ⋮ A Logic for Qualified Syllogisms ⋮ Generating explanations for biomedical queries ⋮ Justifying answer sets using argumentation ⋮ Programming in logic without logic programming ⋮ Temporal logic programs with variables ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 ⋮ Fuzzy answer sets approximations ⋮ Answer set programming as a modeling language for course timetabling

This page was built for publication: Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings