Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic

MaRDI QIDQ5422272zbMATH OpenFDO

Authors Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker

Publication date 17 October 2007

zbMATH Keywords

algebraic approachapproximationautoepistemic logicfixpointnonmonotonic logicsnormal formpredicate introductionsemantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Predicate introduction for logics with a fixpoint semantics. I: Logic programming
• Predicate Introduction Under Stable and Well-Founded Semantics
• Autoepistemic logic
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Operational concepts of nonmonotonic logics. II: Autoepistemic logic

Cited in

(5)

• Fixpoint semantics for active integrity constraints
• On well-founded set-inductions and locally monotone operators
• Predicate introduction for logics with a fixpoint semantics. I: Logic programming
• Predicate Introduction Under Stable and Well-Founded Semantics
• Approximation fixpoint theory in Coq. With an application to logic programming

This page was built for publication: Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic

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