Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics
From MaRDI portal
Publication:2814376
DOI10.1007/978-3-319-19369-4_49zbMath1355.68245OpenAlexW2403612774MaRDI QIDQ2814376
Nouredine Tamani, Abdallah Arioua, Jérôme Fortin, Madalina Croitoru, Patrice Buche
Publication date: 21 June 2016
Published in: Artificial Intelligence and Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19369-4_49
Cites Work
- Results on translating defaults to circumscription
- A logic for default reasoning
- Prolog technology for default reasoning: proof theory and compilation techniques
- An interpretation of default logic in minimal temporal epistemic logic
- Computing with default logic
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Translating default logic into standard autoepistemic logic
- Linking Data to Ontologies
This page was built for publication: Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics