The following pages link to (Q4023583):
Displaying 37 items.
- Confluence Operators (Q3532472) (← links)
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators (Q3600573) (← links)
- Parallel Theories and Routine Revision in First-Order Logic (Q3773842) (← links)
- (Q4225125) (← links)
- (Q4236365) (← links)
- A glance at revision and updating in knowledge bases (Q4293716) (← links)
- A survey of belief revision and updating in classical logic (Q4293718) (← links)
- A survey of belief revision and updating rules in various uncertainty models (Q4293719) (← links)
- Revision and action (Q4293723) (← links)
- A Unified View of Belief Revision and Update (Q4316303) (← links)
- Controlled Revision - An Algorithmic Approach for Belief Revision (Q4405676) (← links)
- Hypothetical revision and matter-of-fact supposition (Q4443398) (← links)
- Measuring similarity in belief revision (Q4507494) (← links)
- The defective conditional in mathematics (Q4583351) (← links)
- General Belief Revision (Q4625650) (← links)
- Trust as a Precursor to Belief Revision (Q4639033) (← links)
- The Limit Assumption and Multiple Revision (Q4820471) (← links)
- Generalized compactness of nonmonotonic inference operations (Q4835518) (← links)
- Exterior Topology and Revision Spaces (Q4835537) (← links)
- Belief change and 3-valued logics: Characterization of 19,683 belief change operators (Q5130019) (← links)
- Revising and updating using a back-up semantics (Q5236447) (← links)
- Evaluative multiple revision based on core beliefs (Q5262484) (← links)
- Intelligent Agents and Multi-Agent Systems (Q5316670) (← links)
- Rough Sets and Current Trends in Computing (Q5394669) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464710) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- Scientific discovery on positive data via belief revision (Q5928922) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Frontiers in belief revision (Q5956946) (← links)
- Belief revision and computational argumentation: a critical comparison (Q6097772) (← links)
- Deductive belief change (Q6133707) (← links)
- On the progression of belief (Q6136086) (← links)
- Levi and Harper identities for non-prioritized belief base change (Q6161502) (← links)
- Generalized partial meet and kernel contractions (Q6552262) (← links)
- Main issues in belief revision, belief merging and information fusion (Q6602229) (← links)
- Logic-based updating (Q6604787) (← links)
- Against grue mysteries (Q6651719) (← links)
