Equality and abductive residua for Horn clauses
From MaRDI portal
(Redirected from Publication:689280)
Recommendations
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)
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)