Characterizing multipreference closure with system W

DOI10.1007/978-3-031-18843-5_6zbMath1524.68356OpenAlexW4312799551MaRDI QIDQ6163908

Jonas Haldimann, Christoph Beierle

Publication date: 26 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-18843-5_6

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Semantic characterization of rational closure: from propositional logic to description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Another perspective on default reasoning
• A reconstruction of multipreference closure
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Properties of system W and its relationships to other inductive inference operators
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• An implementation of nonmonotonic reasoning with system W

This page was built for publication: Characterizing multipreference closure with system W