Handling and measuring inconsistency in non-monotonic logics
From MaRDI portal
Publication:2211858
DOI10.1016/j.artint.2020.103344zbMath1493.68345OpenAlexW3034512235MaRDI QIDQ2211858
Matthias Thimm, Gerhard Brewka, Markus Ulbricht
Publication date: 16 November 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2020.103344
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (5)
Postulate satisfaction for inconsistency measures in monotonic logics and databases ⋮ On measuring inconsistency in definite and indefinite databases with denial constraints ⋮ Computing smallest MUSes of quantified Boolean formulas ⋮ Measuring inconsistency in some branching time logics ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Mathematical Theory of Communication
- Inconsistency measures for probabilistic logics
- Characterizing strong equivalence for argumentation frameworks
- The complexity of computing the permanent
- On the measure of conflicts: Shapley inconsistency values
- Responsibility for inconsistency
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- The complexity of combinatorial problems with succinct input representation
- A theory of diagnosis from first principles
- A logic for default reasoning
- Logic programming and knowledge representation---The A-Prolog perspective
- Measuring inconsistency
- Measuring inconsistency with constraints for propositional knowledge bases
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- On the computational cost of disjunctive logic programming: Propositional case
- Repairing non-monotonic knowledge bases
- Strong inconsistency
- On the complexity of inconsistency measurement
- Localising iceberg inconsistencies
- Subtractive reductions and complete problems for counting complexity classes
- Measuring Inconsistency in Answer Set Programs
- Revisiting Postulates for Inconsistency Measures
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Measuring Instability in Normal Residuated Logic Programs: Discarding Information
- Characterising and Explaining Inconsistency in Logic Programs
- Information and evidence in logic systems
- Measuring Disagreement in Argumentation Graphs
- Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Inconsistency Tolerance
- Strongly equivalent logic programs
This page was built for publication: Handling and measuring inconsistency in non-monotonic logics
