Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
DOI10.1007/978-3-319-30024-5_4zbMATH Open1475.68377OpenAlexW2406580145MaRDI QIDQ2807072FDOQ2807072
Christian Eichhorn, C. Beierle, Gabriele Kern-Isberner
Publication date: 19 May 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-30024-5_4
Recommendations
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Compilation of conditional knowledge bases for computing c-inference relations
- Comparison of inference relations defined over different sets of ranking functions
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Cited In (14)
- Ranking kinematics for revising by contextual information
- Skeptical query-answering in Constrained Default Logic
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Approximations of system W between c-inference, system Z, and lexicographic inference
- Representing nonmonotonic inference based on c-representations as an SMT problem
- An implementation of nonmonotonic reasoning with system W
- What kind of independence do we need for multiple iterated belief change?
- Core c-representations and c-core closure for conditional belief bases
- Scaling up nonmonotonic c-inference via partial MaxSAT problems
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
This page was built for publication: Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807072)
