Logic Programming and Nonmonotonic Reasoning
From MaRDI portal
Publication:5473980
DOI10.1007/11546207zbMath1152.68418OpenAlexW4376598721MaRDI QIDQ5473980
Publication date: 23 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11546207
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17)
Related Items (8)
Evaluating epistemic negation in answer set programming ⋮ Equilibrium logic ⋮ Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting ⋮ On Uniform Equivalence of Epistemic Logic Programs ⋮ Unnamed Item ⋮ Splitting Epistemic Logic Programs ⋮ Autoepistemic answer set programming ⋮ Autoepistemic equilibrium logic and epistemic specifications
This page was built for publication: Logic Programming and Nonmonotonic Reasoning
