Pages that link to "Item:Q1390932"
From MaRDI portal
The following pages link to A unifying view for logic programming with non-monotonic reasoning (Q1390932):
Displaying 7 items.
- Integrating induction and abduction in logic programming (Q1818759) (← links)
- (Q3044494) (← links)
- Extending Prolog with nonmonotonic reasoning (Q3129501) (← links)
- (Q4035258) (← links)
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858) (← links)
- (Q4537434) (← links)
- An abductive framework for extended logic programming (Q5101460) (← links)