Keyphrases
- knowledge representation
- real time
- model based reasoning
- computational properties
- reasoning tasks
- proof theory
- rule based reasoning
- multi agent systems
- machine learning
- model based diagnosis
- meta level
- reasoning problems
- data mining
- reasoning process
- fuzzy reasoning
- real world
- reasoning systems
- knowledge processing
- resource bounded
- reasoning about actions
- conflicting information
- scientific discovery
- approximate reasoning
- qualitative reasoning
- production rules
- case study
- computer vision
- databases