The following pages link to A model for belief revision (Q1104127):
Displayed 14 items.
- 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)
- Logic of agreement: Foundations, semantic system and proof theory (Q1818006) (← links)
- Pathology of collective doxa. Automata models (Q1855026) (← links)
- (Q4225112) (← links)
- How minds can be computational systems (Q4421273) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)