Splitting techniques for conditional belief bases in the context of c-representations

DOI10.1007/978-3-031-43619-2_32MaRDI QIDQ6545557zbMATH OpenFDO

Authors Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, C. Beierle, Jesse Heyninck

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_32

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Prime implicates and relevant belief revision
• A logical splitting strategy for the belief structure of agents
• scientific article; zbMATH DE number 1785005
• scientific article; zbMATH DE number 1537944
• Parallel interpolation, splitting, and relevance in belief change

Cites work

• A thorough axiomatization of a principle of conditional preservation in belief revision
• Another perspective on default reasoning
• Compilation of conditional knowledge bases for computing c-inference relations
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Properties of system W and its relationships to other inductive inference operators
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Ranking kinematics for revising by contextual information
• Semantic splitting of conditional belief bases

Cited in

(2)

• Core c-representations and c-core closure for conditional belief bases
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver

This page was built for publication: Splitting techniques for conditional belief bases in the context of c-representations

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