How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?

DOI10.1007/s10472-016-9519-5zbMath1398.68502OpenAlexW2470876495MaRDI QIDQ1653442

Marcelo A. Falappa, Guillermo R. Simari, Cristhian A. D. Deagustini, Maria Vanina Martinez

Publication date: 6 August 2018

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-016-9519-5

zbMATH Keywords

argumentationincoherenceDatalog\(^\pm\) ontologiesinconsistency-tolerant semantics

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

On quasi-inconsistency and its complexity

Uses Software

• Datalog

Cites Work

• Unnamed Item
• Parallel belief revision: revising by sets of formulas
• Complexity of semi-stable and stage semantics in argumentation frameworks
• A mathematical treatment of defeasible reasoning and its implementation.
• A logic for default reasoning
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Datalog+- Ontology Consolidation
• Argument-based extended logic programming with defeasible priorities
• What Can Argumentation Do for Inconsistent Ontology Query Answering?
• Merging Logic Programs under Answer Set Semantics
• Merging Information Under Constraints: A Logical Framework
• Answer sets for consistent query answering in inconsistent databases
• Defeasible logic programming: an argumentative approach

This page was built for publication: How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?