Pages that link to "Item:Q2807072"
From MaRDI portal
The following pages link to Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem (Q2807072):
Displaying 14 items.
- Ranking kinematics for revising by contextual information (Q825006) (← links)
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases (Q1678418) (← links)
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem (Q1783735) (← links)
- Nonmonotonic reasoning from conditional knowledge bases with system W (Q2075375) (← links)
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models (Q2238598) (← links)
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations (Q2278099) (← links)
- What kind of independence do we need for multiple iterated belief change? (Q2407482) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- An implementation of nonmonotonic reasoning with system W (Q6045090) (← links)
- Approximations of system W between c-inference, system Z, and lexicographic inference (Q6587919) (← links)
- Representing nonmonotonic inference based on c-representations as an SMT problem (Q6587922) (← links)
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference (Q6630188) (← links)
- Core c-representations and c-core closure for conditional belief bases (Q6630189) (← links)
- Scaling up nonmonotonic c-inference via partial MaxSAT problems (Q6630195) (← links)
