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

DOI10.1007/978-3-031-56940-1_5MaRDI QIDQ6630188zbMATH OpenFDO

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

Publication date 30 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56940-1_5

Mathematics Subject Classification ID

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

Cites work

• 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
• 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?)
• 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

(6)

• Scaling up nonmonotonic c-inference via partial MaxSAT problems
• The InfOCF library for reasoning with conditional belief bases
• Reasoning with System W and infeasible worlds
• Scaling up reasoning from conditional belief bases
• Approximations of system W for inference from strongly and weakly consistent belief bases
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver

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)