Characterizing multipreference closure with system W

DOI10.1007/978-3-031-18843-5_6zbMATH Open1524.68356OpenAlexW4312799551MaRDI QIDQ6163908FDOQ6163908

Authors: Jonas Haldimann, C. 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

Recommendations

• A reconstruction of multipreference closure
• An implementation of nonmonotonic reasoning with system W
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• Reasoning about exceptions in ontologies: an approximation of the multipreference semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Title not available (Why is that?)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Another perspective on default reasoning
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Semantic characterization of rational closure: from propositional logic to description logics
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• A reconstruction of multipreference closure
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• Properties of system W and its relationships to other inductive inference operators
• An implementation of nonmonotonic reasoning with system W

Cited In (2)

• Approximations of system W between c-inference, system Z, and lexicographic inference
• Rational closure extension in SPO-representable inductive inference operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6163908)