Investigating the mapping between default logic and inconsistency-tolerant semantics

DOI10.1007/978-3-319-19369-4_49MaRDI QIDQ2814376zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• A logic for default reasoning
• An interpretation of default logic in minimal temporal epistemic logic
• Computing with default logic
• Linking Data to Ontologies
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Prolog technology for default reasoning: proof theory and compilation techniques
• Results on translating defaults to circumscription
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Translating default logic into standard autoepistemic logic

Cited in

(3)

• How does incoherence affect inconsistency-tolerant semantics for Datalog^?
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• scientific article; zbMATH DE number 2112168 (Why is no real title available?)

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)