Handling and measuring inconsistency in non-monotonic logics
From MaRDI portal
Publication:2211858
Recommendations
- Measuring inconsistency with many-valued logics
- Publication:4888328
- Measuring inconsistency in generalized propositional logic extended with nonunary operators
- Inconsistency measures in hybrid logics
- Measuring inconsistency in generalized propositional logic
- Measuring inconsistency in finitary first-order logic
- Measuring inconsistency in some logics with modal operators
- Postulate satisfaction for inconsistency measures in monotonic logics and databases
- Measuring inconsistency in some branching time logics
- scientific article; zbMATH DE number 7088155
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 43754 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 6902558 (Why is no real title available?)
- scientific article; zbMATH DE number 3078997 (Why is no real title available?)
- A Mathematical Theory of Communication
- A logic for default reasoning
- A theory of diagnosis from first principles
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Characterising and explaining inconsistency in logic programs
- Characterizing strong equivalence for argumentation frameworks
- Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP
- Handbook of paraconsistency
- Inconsistency Tolerance
- Inconsistency measures for probabilistic logics
- Information and evidence in logic systems
- Localising iceberg inconsistencies
- Logic programming and knowledge representation---The A-Prolog perspective
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Measuring disagreement in argumentation graphs
- Measuring inconsistency
- Measuring inconsistency in answer set programs
- Measuring inconsistency in argument graphs
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Measuring inconsistency with constraints for propositional knowledge bases
- Measuring instability in normal residuated logic programs: discarding information
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the complexity of inconsistency measurement
- On the computational cost of disjunctive logic programming: Propositional case
- On the evaluation of inconsistency measures
- On the measure of conflicts: Shapley inconsistency values
- Repairing non-monotonic knowledge bases
- Responsibility for inconsistency
- Revisiting postulates for inconsistency measures
- Strong inconsistency
- Strongly equivalent logic programs
- Subtractive reductions and complete problems for counting complexity classes
- The complexity of combinatorial problems with succinct input representation
- The complexity of computing the permanent
Cited in
(12)- Inconsistency measures for disjunctive logic programs under answer set semantics
- How to recover from (non)monotonic inconsistencies
- Measuring inconsistency in some branching time logics
- scientific article; zbMATH DE number 2080002 (Why is no real title available?)
- Measuring inconsistency in generalized propositional logic extended with nonunary operators
- On measuring inconsistency in definite and indefinite databases with denial constraints
- Postulate satisfaction for inconsistency measures in monotonic logics and databases
- General information spaces: measuring inconsistency, rationality postulates, and complexity
- Computing smallest MUSes of quantified Boolean formulas
- The Range of Applicability of some Non-monotonic Logics for Strict Inertia
- Nonmonotonic inconsistency
- Measuring inconsistency in answer set programs
This page was built for publication: Handling and measuring inconsistency in non-monotonic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2211858)