Keyphrases
- default reasoning
- default rules
- knowledge representation
- reasoning process
- knowledge base
- automated reasoning
- truth maintenance systems
- default logic
- meta level
- expressive power
- reasoning tasks
- probabilistic reasoning
- data sets
- model based reasoning
- reasoning systems
- uncertain information
- rule based reasoning
- formal models
- knowledge representation and reasoning
- possibilistic logic
- logic programming
- spatial reasoning
- nonmonotonic reasoning