Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
From MaRDI portal
Publication:6630188
DOI10.1007/978-3-031-56940-1_5MaRDI QIDQ6630188
Gabriele Kern-Isberner, Jonas Haldimann, C. Beierle
Publication date: 30 October 2024
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)
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)
