The following pages link to (Q5688896):
Displaying 5 items.
- Equality and abductive residua for Horn clauses (Q689280) (← links)
- Incorporating equality into logic programming via surface deduction (Q1087023) (← links)
- On the duality of abduction and model generation in a framework for model generation with equality (Q1314425) (← links)
- The Complexity of Abduction for Equality Constraint Languages (Q2958548) (← links)
- (Q3716324) (← links)