Pages that link to "Item:Q3841101"
From MaRDI portal
The following pages link to SLDNFA: An abductive procedure for abductive logic programs (Q3841101):
Displayed 11 items.
- Three-valued completion for abductive logic programs (Q671511) (← links)
- On the duality of abduction and model generation in a framework for model generation with equality (Q1314425) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)