The following pages link to A model for belief revision (Q1104127):
Displaying 26 items.
- AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
- A bipolar model of assertability and belief (Q622286) (← links)
- Most general first order theorems are not recursively enumerable (Q672461) (← links)
- Truth and meaning (Q908898) (← links)
- A general framework for reason maintenance (Q1187218) (← links)
- The validity of Dempster-Shafer belief functions (Q1190199) (← links)
- Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1193489) (← links)
- Truth maintenance systems and their application for verifying expert system knowledge bases (Q1193853) (← links)
- The SNePS family (Q1202636) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- A computational model of belief (Q1575433) (← links)
- Descriptor revision. Belief change through direct choice (Q1705167) (← links)
- Logic of agreement: Foundations, semantic system and proof theory (Q1818006) (← links)
- Pathology of collective doxa. Automata models (Q1855026) (← links)
- \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions (Q2029709) (← links)
- Knowledge-level analysis of belief base operations (Q2674203) (← links)
- Typical models: minimising false beliefs (Q3065452) (← links)
- Reinforcement Belief Revision (Q3529381) (← links)
- Accommodative Belief Revision (Q3532466) (← links)
- BELIEF REVISION IN NON-CLASSICAL LOGICS (Q3580673) (← links)
- (Q4225112) (← links)
- How minds can be computational systems (Q4421273) (← links)
- Foundations of Information and Knowledge Systems (Q5901868) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
- On the logic of theory change iteration of KM-update (Q6088375) (← links)
