Conditional descriptor revision and its modelling by a CSP

DOI10.1007/978-3-030-75775-5_4OpenAlexW3160384224MaRDI QIDQ2055779

Gabriele Kern-Isberner, Jonas Haldimann, Martin von Berg, Christoph Beierle, Kai Sauerwald

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Blockage revision
• Iterated descriptor revision and the logic of Ramsey test conditionals
• A monoselective presentation of AGM revision
• Believability relations for select-direct sentential revision
• On the logic of iterated belief revision
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Descriptor revision. Belief change through direct choice
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Iterated revision and minimal change of conditional beliefs
• Semantical investigations into nonmonotonic and probabilistic logics
• Back to basics: belief revision through direct selection
• Descriptor revision
• A simple logic for reasoning about incomplete knowledge
• AGM contraction is not reconstructible as a descriptor operation
• On the logic of theory change: Partial meet contraction and revision functions
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents