Equality and abductive residua for Horn clauses

DOI10.1016/0304-3975(93)90243-MMaRDI QIDQ689280zbMATH OpenFDO

Authors P. T. Cox, Emanuel Knill, Tomasz Pietrzykowski

Publication date 20 December 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

abductive reasoningHorn clause logicsurface deduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 970711
• Incorporating equality into logic programming via surface deduction
• Efficient deduction in equality Horn logic by Horn-completion
• Horn equational theories and paramodulation
• An inference system for horn clause logic with equality

Cites work

• scientific article; zbMATH DE number 417880 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4045220 (Why is no real title available?)
• scientific article; zbMATH DE number 970711 (Why is no real title available?)
• scientific article; zbMATH DE number 4185074 (Why is no real title available?)
• A logical framework for default reasoning
• A logical reconstruction of Prolog II
• Abduction versus closure in causal theories.
• Foundations of equational logic programming
• Incorporating equality into logic programming via surface deduction
• Linear unification
• Proving Theorems with the Modification Method

Cited in

(5)

• On solving the equality problem in theories defined by Horn clauses
• Incorporating equality into logic programming via surface deduction
• Probabilistic Horn abduction and Bayesian networks
• Quantifier-free equational logic and prime implicate generation
• A superposition calculus for abductive reasoning

This page was built for publication: Equality and abductive residua for Horn clauses

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