Keyphrases
- propositional logic
- dempster shafer
- belief functions
- multi sensor
- uncertain reasoning
- belief revision
- first order logic
- decision theory
- quantified boolean formulae
- evidential reasoning
- lattice theory
- possibilistic logic
- belief change
- machine learning
- probability theory
- horn logic
- multi agent systems
- multi agent
- decision making