Investigating the mapping between default logic and inconsistency-tolerant semantics

DOI10.1007/978-3-319-19369-4_49zbMATH Open1355.68245OpenAlexW2403612774MaRDI QIDQ2814376FDOQ2814376

Authors: Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, 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

Recommendations

• Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
• What can argumentation do for inconsistent ontology query answering?
• scientific article; zbMATH DE number 2112168
• Inconsistency-tolerant instance checking in tractable description logics
• Inconsistency-tolerant query answering: rationality properties and computational complexity analysis

Mathematics Subject Classification ID

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

Cites Work

• 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
• Linking Data to Ontologies
• A logic for default reasoning
• Translating default logic into standard autoepistemic logic
• Prolog technology for default reasoning: proof theory and compilation techniques
• Results on translating defaults to circumscription
• An interpretation of default logic in minimal temporal epistemic logic
• Computing with default logic

Cited In (3)

• Title not available (Why is that?)
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?

This page was built for publication: Investigating the mapping between default logic and inconsistency-tolerant semantics

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