The following pages link to (Q4281509):
Displaying 6 items.
- Counting complexity of propositional abduction (Q988576) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- (Q5007118) (← links)
- Complexity results for abductive logic programming (Q5101437) (← links)