Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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