Inference to the stable explanations

DOI10.1007/978-3-031-15707-3_19MaRDI QIDQ2694572zbMATH OpenOpenAlexFDO

Authors Guido Governatori, Antonino Rotolo, Matteo Cristani, F. Oliveri

Publication date 4 April 2023

Full work available at URL https://doi.org/10.1007/978-3-031-15707-3_19

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites work

• A defeasible logic for modelling policy-based intentions and motivational attitudes
• A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning
• Abduction from logic programs: Semantics and complexity
• Abductive inference in defeasible reasoning: a model for research programmes
• Argument revision
• Argumentation Semantics for Defeasible Logic
• Chronological ignorance: Experiments in nonmonotonic temporal reasoning
• scientific article; zbMATH DE number 1487805 (Why is no real title available?)
• Propositional defeasible logic has linear complexity
• Representation results for defeasible logic
• Revision of defeasible preferences
• Semantics and complexity of abduction from default theories
• Strong explanations for nonmonotonic reasoning
• Strong inconsistency
• The complexity of handling minimal solutions in logic-based abduction
• The complexity of logic-based abduction
• The computational complexity of abduction

Cited in

(3)

• Stable inference as intuitionistic validity
• Stable reasoning
• Stable normative explanations: from argumentation to deontic logic

Describes a project that uses

Uses Software

• DELORES

This page was built for publication: Inference to the stable explanations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2694572)