Predicate Introduction Under Stable and Well-Founded Semantics

DOI10.1007/11799573_19MaRDI QIDQ5449604zbMATH OpenOpenAlexFDO

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

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/166812

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Predicate introduction for logics with a fixpoint semantics. I: Logic programming
• Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic
• Logic Programming and Nonmonotonic Reasoning
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Transformations of logic programs

Cited in

(3)

• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• Predicate introduction for logics with a fixpoint semantics. I: Logic programming
• Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic

This page was built for publication: Predicate Introduction Under Stable and Well-Founded Semantics

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