Keyphrases
- belief revision
- knowledge representation
- knowledge base
- default reasoning
- belief change
- propositional logic
- conditional logic
- nonmonotonic reasoning
- expert systems
- artificial intelligence
- knowledge representation and reasoning
- logical properties
- minimal change
- belief update
- logic programming
- plausible reasoning
- automated reasoning
- natural language
- logical framework
- machine learning
- belief merging
- possibilistic logic
- plausible inference
- temporal logic
- possibility theory
- description logics
- first order logic
- multi agent
- dynamic aspects
- belief state