Pages that link to "Item:Q1783735"
From MaRDI portal
The following pages link to Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem (Q1783735):
Displaying 18 items.
- Ranking kinematics for revising by contextual information (Q825006) (← links)
- A reconstruction of multipreference closure (Q2046040) (← links)
- Conditional descriptor revision and its modelling by a CSP (Q2055779) (← links)
- Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies (Q2055783) (← links)
- Nonmonotonic reasoning from conditional knowledge bases with system W (Q2075375) (← links)
- Properties of system W and its relationships to other inductive inference operators (Q2103918) (← links)
- Semantic splitting of conditional belief bases (Q2117582) (← links)
- Boolean algebras of conditionals, probability and logic (Q2211862) (← links)
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations (Q2237135) (← 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)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
- On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals (Q6116538) (← 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)
- Conditional objects as possibilistic variables (Q6587939) (← 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)
