Predicate Introduction Under Stable and Well-Founded Semantics

DOI10.1007/11799573_19zbMATH Open1131.68405OpenAlexW1825352045MaRDI QIDQ5449604FDOQ5449604

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

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (1)

• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

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)