Reasoning under inconsistency: a forgetting-based approach
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 108002 (Why is no real title available?)
- scientific article; zbMATH DE number 1269566 (Why is no real title available?)
- scientific article; zbMATH DE number 1269573 (Why is no real title available?)
- scientific article; zbMATH DE number 1301608 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1946872 (Why is no real title available?)
- Complexity Results for Nonmonotonic Logics
- Counterfactuals
- Distance-based paraconsistent logics
- Inconsistency tolerance.
- Logics in Artificial Intelligence
- Minimally inconsistent LP
- Nonmonotonic reasoning: From complexity to algorithms
- On inference from inconsistent premisses
- On stratified belief base compilation
- On the Semantics of Arbitration
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
- Propositional distances and compact preference representation
- Recovering Consistency by Forgetting Inconsistency
- Remedying inconsistent sets of premises
- Semantic forgetting in answer set programming
- Signed systems for paraconsistent reasoning
- Solving logic program conflict through strong and weak forgettings
- \(\text{DA}^2\) merging operators
Cited in
(25)- Asynchronous multi-context systems
- Borderline vs. unknown: comparing three-valued representations of imperfect information
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions
- On the complexity of inconsistency measurement
- Variable Forgetting in Reasoning about Knowledge
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Measuring inconsistency through subformula forgetting
- scientific article; zbMATH DE number 1302067 (Why is no real title available?)
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- scientific article; zbMATH DE number 1759375 (Why is no real title available?)
- A logic-algebraic tool for reasoning with knowledge-based systems
- A syntactic operator for forgetting that satisfies strong persistence
- On syntactic forgetting under uniform equivalence
- Solving conflicts in information merging by a flexible interpretation of atomic propositions
- On quantifying literals in Boolean logic and its applications to explainable AI
- Recovering Consistency by Forgetting Inconsistency
- On the limits of forgetting in answer set programming
- Forgetting in multi-agent modal logics
- A general framework for reasoning on inconsistency
- Disjunctive closures for knowledge compilation
- Forgetting-Based Inconsistency Measure
- Comparing and weakening possibilistic knowledge bases
- Propositional variable forgetting and marginalization: semantically, two sides of the same coin
- From forgetting signature elements to forgetting formulas in epistemic states
- Common equivalence and size of forgetting from Horn formulae
This page was built for publication: Reasoning under inconsistency: a forgetting-based approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q991019)
