The following pages link to (Q4279083):
Displaying 11 items.
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- Abductive network action inference for targeted therapy discovery (Q2130566) (← links)
- A conditional logic for abduction (Q2263054) (← links)
- First-order abduction as enumeration of stable models (Q2284490) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- Compilability of propositional abduction (Q5277767) (← links)
- (Q5389723) (← links)
- The Computational Complexity of Understanding Binary Classifier Decisions (Q5856459) (← links)