Pages that link to "Item:Q991019"

The following pages link to Reasoning under inconsistency: a forgetting-based approach (Q991019):

Displaying 12 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)
• On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
• Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)