A Deductive System for PC(ID)

DOI10.1007/978-3-540-72200-7_15MaRDI QIDQ5425406zbMATH OpenOpenAlexFDO

Authors Ping Hou, Johan Wittocx, Marc Denecker

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• A Deductive System for FO(ID) Based on Least Fixpoint Logic
• Satisfiability Checking for PC(ID)
• scientific article; zbMATH DE number 785048
• scientific article; zbMATH DE number 4195154
• A Deductive System for Existential Least Fixpoint Logic

Cited in

(2)

• A Deductive System for FO(ID) Based on Least Fixpoint Logic
• Satisfiability Checking for PC(ID)

This page was built for publication: A Deductive System for PC(ID)

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