Semantic splitting of conditional belief bases

DOI10.1007/978-3-030-76020-5_5OpenAlexW3171420340MaRDI QIDQ2117582

Jonas Haldimann, Gabriele Kern-Isberner, Christoph Beierle

Publication date: 22 March 2022

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

zbMATH Keywords

conditionalranking functionordinal conditional functionconditional belief basesemantic splittingsyntax splitting

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Uses Software

• AsmL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The ASM refinement method
• Relevance in belief revision
• Nonmonotonic reasoning, preferential models and cumulative logics
• The logic of conditionals. An application of probability to deductive logic
• 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
• Specification and correctness proof of a WAM extension with abstract type constraints
• Refinement of a typed WAM extension by polymorphic order-sorted types
• 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
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• A Verified AsmL Implementation of Belief Revision
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: Semantic splitting of conditional belief bases