Keyphrases
- knowledge base
- automated reasoning
- reasoning systems
- reasoning tasks
- resource bounded
- machine learning
- reasoning process
- case study
- data sets
- reasoning about actions
- model based reasoning
- knowledge processing
- consistency checking
- decision trees
- computational properties
- fuzzy reasoning
- description logics
- multiscale
- search algorithm
- meta level
- default reasoning
- probabilistic reasoning
- production rules
- belief revision