Pages that link to "Item:Q5101460"
From MaRDI portal
The following pages link to An abductive framework for extended logic programming (Q5101460):
Displaying 9 items.
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Scalable algorithms for abduction via enumerative syntax-guided synthesis (Q2096443) (← links)
- Teleo-Reactive Abductive Logic Programs (Q2900468) (← links)
- Logical form generation as abduction: Part II. A dual-route parsimonious covering approach (Q4301777) (← links)
- The IFF proof procedure for abductive logic programming (Q4371992) (← links)
- Abductive logic programming and disjunctive logic programming: their relationship and transferability (Q4484724) (← links)
- (Q4955335) (← links)
- Foundations of Information and Knowledge Systems (Q5898541) (← links)