Pages that link to "Item:Q1424928"
From MaRDI portal
The following pages link to A thorough axiomatization of a principle of conditional preservation in belief revision (Q1424928):
Displaying 37 items.
- Conditional ranking revision. Iterated revision with sets of conditionals (Q421346) (← links)
- AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
- A framework for managing uncertain inputs: an axiomization of rewarding (Q648362) (← links)
- Ranking kinematics for revising by contextual information (Q825006) (← links)
- Using inductive reasoning for completing OCF-networks (Q901145) (← 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)
- Stratified belief bases revision with argumentative inference (Q1947030) (← links)
- Lewis' triviality for quasi probabilities (Q2008632) (← links)
- A reconstruction of multipreference closure (Q2046040) (← links)
- Defeasible normative reasoning (Q2054141) (← 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)
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings (Q2075376) (← links)
- Properties of system W and its relationships to other inductive inference operators (Q2103918) (← links)
- Semantic splitting of conditional belief bases (Q2117582) (← 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)
- A belief revision framework for revising epistemic states with partial epistemic states (Q2344723) (← links)
- What kind of independence do we need for multiple iterated belief change? (Q2407482) (← links)
- Plausible reasoning and plausibility monitoring in language comprehension (Q2411257) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- A kinematics principle for iterated revision (Q2680799) (← links)
- A Verified AsmL Implementation of Belief Revision (Q3535368) (← links)
- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (Q3541697) (← links)
- Conditional indifference and conditional preservation (Q4443393) (← links)
- A System Z-like Approach for First-Order Default Reasoning (Q5172608) (← links)
- Qualitative Knowledge Discovery (Q5504579) (← links)
- An implementation of nonmonotonic reasoning with system W (Q6045090) (← links)
- On the logic of theory change iteration of KM-update (Q6088375) (← links)
- Splitting techniques for conditional belief bases in the context of c-representations (Q6545557) (← 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)
