Equality and abductive residua for Horn clauses

DOI10.1016/0304-3975(93)90243-MzbMATH Open0788.68133MaRDI QIDQ689280FDOQ689280

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

Publication date: 20 December 1993

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

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

zbMATH Keywords

abductive reasoningHorn clause logicsurface deduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Linear unification
• Title not available (Why is that?)
• A logical framework for default reasoning
• Foundations of equational logic programming
• Title not available (Why is that?)
• Incorporating equality into logic programming via surface deduction
• Title not available (Why is that?)
• A logical reconstruction of Prolog II
• Title not available (Why is that?)
• Proving Theorems with the Modification Method
• Title not available (Why is that?)
• Abduction versus closure in causal theories.

Cited In (5)

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

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)