Semantic splitting of conditional belief bases

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

Jonas Haldimann, Gabriele Kern-Isberner, C. Beierle

Publication date: 22 March 2022

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

zbMATH Keywords

ranking functionconditionalordinal conditional functionconditional belief basesemantic splittingsyntax splitting

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• The logic of conditionals. An application of probability to deductive logic
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• The ASM refinement method
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Title not available (Why is that?)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• 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
• Relevance in belief revision
• Title not available (Why is that?)
• Specification and correctness proof of a WAM extension with abstract type constraints
• Refinement of a typed WAM extension by polymorphic order-sorted types
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Core c-representations and c-core closure for conditional belief bases
• Splitting techniques for conditional belief bases in the context of c-representations

Uses Software

• AsmL

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

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