SLDNFA: An abductive procedure for abductive logic programs
From MaRDI portal
Recommendations
Cited in
(16)- On the duality of abduction and model generation in a framework for model generation with equality
- Abduction from logic programs: Semantics and complexity
- A unifying view for logic programming with non-monotonic reasoning
- Abductive reasoning through filtering
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting
- A logic programming system for nonmonotonic reasoning
- Abductive inference in defeasible reasoning: a model for research programmes
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing
- An assumption-based truth maintenance system dealing with non-ground justifications
- Complexity results for abductive logic programming
- Abduction over 3-valued extended logic programs
- An abductive framework for extended logic programming
- An abductive framework for negation in disjunctive logic programming
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Three-valued completion for abductive logic programs
This page was built for publication: SLDNFA: An abductive procedure for abductive logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3841101)
