Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207MaRDI QIDQ5473980zbMATH OpenOpenAlexFDO

Authors Kewen Wang, Yan Zhang

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• About epistemic negation and world views in epistemic logic programs
• Nested expressions in logic programs
• Autoepistemic equilibrium logic and epistemic specifications
• An epistemic model of logic programming
• Belief, provability, and logic programs

Cited in

(15)

• Nested expressions in logic programs
• Autoepistemic answer set programming
• Autoepistemic equilibrium logic and epistemic specifications
• Possibilistic nested logic programs and strong equivalence
• Logics for epistemic programs
• Evaluating epistemic negation in answer set programming
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• Splitting epistemic logic programs
• Epistemic logic programs: a different world view
• Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
• About epistemic negation and world views in epistemic logic programs
• On uniform equivalence of epistemic logic programs
• Refining the semantics of epistemic specifications
• Toward a logical theory of fairness and bias
• Equilibrium logic

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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