Pages that link to "Item:Q991019"
From MaRDI portal
The following pages link to Reasoning under inconsistency: a forgetting-based approach (Q991019):
Displayed 16 items.
- Disjunctive closures for knowledge compilation (Q460617) (← links)
- Borderline vs. unknown: comparing three-valued representations of imperfect information (Q465586) (← links)
- Solving conflicts in information merging by a flexible interpretation of atomic propositions (Q650523) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- Measuring Inconsistency Through Subformula Forgetting (Q3297808) (← links)
- Comparing and Weakening Possibilistic Knowledge Bases (Q3449291) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Asynchronous Multi-Context Systems (Q5172612) (← links)
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)