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

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

Gabriele Kern-Isberner, Jonas Haldimann, C. Beierle

Publication date: 30 October 2024

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantic characterization of rational closure: from propositional logic to description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• The logic of conditionals. An application of probability to deductive logic
• The logic of paradox
• On the logic of iterated belief revision
• A thorough axiomatization of a principle of conditional preservation in 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
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Taking defeasible entailment beyond rational closure
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
• Defeasible inheritance-based description logics
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• 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

Related Items (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)