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

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

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

• Nonmonotonic reasoning, preferential models and cumulative logics
• The logic of paradox
• The logic of conditionals. An application of probability to deductive logic
• Title not available (Why is that?)
• On the logic of iterated belief revision
• 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
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Defeasible inheritance-based description logics
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Semantic characterization of rational closure: from propositional logic to description logics
• Title not available (Why is that?)
• Taking defeasible entailment beyond rational closure
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Approximations of system W between c-inference, system Z, and lexicographic inference
• Representing nonmonotonic inference based on c-representations as an SMT problem
• Scaling up nonmonotonic c-inference via partial MaxSAT problems

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)