Keyphrases
- belief base
- reasoning systems
- belief revision
- evidential reasoning
- knowledge base
- inconsistent information
- model based reasoning
- qualitative reasoning
- reasoning process
- probabilistic logic
- logical framework
- knowledge representation and reasoning
- expert systems
- uncertain information
- artificial intelligence
- reasoning tasks
- spatial reasoning
- production rules
- formal models
- knowledge representation
- truth maintenance systems
- belief merging
- inconsistent knowledge