Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
From MaRDI portal
Publication:532633
DOI10.1007/978-3-642-20832-4zbMath1213.68025OpenAlexW2481559215MaRDI QIDQ532633
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-20832-4
Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Knowledge representation (68T30) Festschriften (00B30) Logic programming (68N17)
Related Items (10)
Contextual Abductive Reasoning with Side-Effects ⋮ On Cascade Products of Answer Set Programs ⋮ Model enumeration in propositional circumscription via unsatisfiable core analysis ⋮ Improved answer-set programming encodings for abstract argumentation ⋮ Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 ⋮ Justifying answer sets using argumentation ⋮ Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) ⋮ Range-based argumentation semantics as two-valued models ⋮ Paracoherent answer set computation ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster
Uses Software
This page was built for publication: Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
