Inference to the stable explanations
From MaRDI portal
Publication:2694572
DOI10.1007/978-3-031-15707-3_19OpenAlexW4293179375MaRDI QIDQ2694572
Guido Governatori, Antonino Rotolo, Matteo Cristani, Francesco Olivieri
Publication date: 4 April 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_19
Uses Software
Cites Work
- Unnamed Item
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning
- The computational complexity of abduction
- Abduction from logic programs: Semantics and complexity
- Semantics and complexity of abduction from default theories
- Revision of defeasible preferences
- Strong explanations for nonmonotonic reasoning
- Strong inconsistency
- Abductive inference in defeasible reasoning: a model for research programmes
- A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning
- Argument Revision
- Representation results for defeasible logic
- A defeasible logic for modelling policy-based intentions and motivational attitudes
- The complexity of logic-based abduction
- Propositional defeasible logic has linear complexity
- Argumentation Semantics for Defeasible Logic
- The complexity of handling minimal solutions in logic-based abduction
This page was built for publication: Inference to the stable explanations
