Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference

DOI10.1007/978-3-031-56940-1_5MaRDI QIDQ6630188FDO

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

Publication date 30 October 2024

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites work

• scientific article; zbMATH DE number 4166940 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• scientific article; zbMATH DE number 3026923 (Why is no real title available?)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Approximations of system W between c-inference, system Z, and lexicographic inference
• 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
• Defeasible inheritance-based description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the logic of iterated belief revision
• 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
• Representing nonmonotonic inference based on c-representations as an SMT problem
• Scaling up nonmonotonic c-inference via partial MaxSAT problems
• Semantic characterization of rational closure: from propositional logic to description logics
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Taking defeasible entailment beyond rational closure
• The logic of conditionals. An application of probability to deductive logic
• The logic of paradox

Cited in

(1)

• Scaling up nonmonotonic c-inference via partial MaxSAT problems

This page was built for publication: Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference

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