Strong inconsistency
From MaRDI portal
Publication:2321259
Recommendations
- scientific article; zbMATH DE number 5997433
- Incoherence and inconsistency
- scientific article; zbMATH DE number 2019885
- Inconsistency without contradiction
- scientific article; zbMATH DE number 1827075
- scientific article; zbMATH DE number 1735928
- Strong Ambiguity
- Incompatibility between stability and consistency
- Contradictions, from consistency to inconsistency
Cites work
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (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 1852914 (Why is no real title available?)
- A logic for default reasoning
- A non-monotonic description logic for reasoning about typicality
- A novel SAT-based approach to model based diagnosis
- A theory of diagnosis from first principles
- Algorithms for computing minimal unsatisfiable subsets of constraints
- An abductive framework for computing knowledge base updates
- An introduction to description logic
- Anytime answer set optimization via unsatisfiable core shrinking
- Axiom Pinpointing in General Tableaux
- Characterizing strong equivalence for argumentation frameworks
- Consistent subsets of inconsistent systems: structure and behaviour
- Debugging incoherent terminologies
- Fast, flexible MUS enumeration
- Finding explanations of inconsistency in multi-context systems
- Graph theoretical structures in logic programs and default theories
- Handbook of paraconsistency
- Inconsistency Tolerance
- Inconsistency measures for disjunctive logic programs under answer set semantics
- Inconsistency tolerance.
- Localising iceberg inconsistencies
- Logic programming and knowledge representation---The A-Prolog perspective
- Measuring disagreement in argumentation graphs
- Measuring inconsistency in answer set programs
- Measuring inconsistency in argument graphs
- Minimal False Quantified Boolean Formulas
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Nonmonotonic reasoning, preferential models and cumulative logics
- On semantic update operators for answer-set programs
- 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
- On the evaluation of inconsistency measures
- Rational Closure for Defeasible Description Logics
- Strongly equivalent logic programs
- The complexity of computing the permanent
- The complexity of facets resolved
- Understanding the complexity of axiom pinpointing in lightweight description logics
- What does a conditional knowledge base entail?
Cited in
(14)- Inconsistency measurement
- Optimal-size problem kernels for d-Hitting Set in linear time and space
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Strong explanations for nonmonotonic reasoning
- Serial and parallel kernelization of multiple hitting set parameterized by the Dilworth number, implemented on the GPU
- Efficient reasoning for inconsistent Horn formulae
- Revising non-monotonic theories with sufficient and necessary conditions: the case of defeasible logic
- Handling and measuring inconsistency in non-monotonic logics
- Enumeration of minimal models and MUSes in WASP
- Computing smallest MUSes of quantified Boolean formulas
- Inference to the stable explanations
- Consistent subsets of inconsistent systems: structure and behaviour
- Entailment, transmission of truth, and minimality
This page was built for publication: Strong inconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321259)
