Semantic splitting of conditional belief bases

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

Authors C. Beierle, Jonas Haldimann, Gabriele Kern-Isberner

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

• scientific article; zbMATH DE number 408786 (Why is no real title available?)
• scientific article; zbMATH DE number 1951190 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• A Verified AsmL Implementation of Belief Revision
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Abstract State Machines
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Conditional objects as nonmonotonic consequence relationships
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Evolving Algebras 1993: Lipari Guide
• From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming
• Nonmonotonic reasoning, preferential models and cumulative logics
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Refinement of a typed WAM extension by polymorphic order-sorted types
• Relevance in belief revision
• Specification and correctness proof of a WAM extension with abstract type constraints
• The ASM refinement method
• The logic of conditionals. An application of probability to deductive logic

Cited in

(2)

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

Describes a project that uses

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)