Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday

DOI10.1007/978-3-642-20832-4zbMATH Open1213.68025OpenAlexW2481559215MaRDI QIDQ532633FDOQ532633

Author name not available (Why is that?)

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (10)

• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Paracoherent answer set computation
• Justifying answer sets using argumentation
• On Cascade Products of Answer Set Programs
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
• Contextual Abductive Reasoning with Side-Effects
• Range-based argumentation semantics as two-valued models
• Improved answer-set programming encodings for abstract argumentation

Uses Software

• SATCHMO

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

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