Pages that link to "Item:Q689280"
From MaRDI portal
The following pages link to Equality and abductive residua for Horn clauses (Q689280):
Displaying 5 items.
- On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
- Incorporating equality into logic programming via surface deduction (Q1087023) (← links)
- Probabilistic Horn abduction and Bayesian networks (Q1313950) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)