Keyphrases
- model based reasoning
- knowledge base
- knowledge representation
- formal models
- meta level
- real time
- reasoning problems
- knowledge processing
- approximate reasoning
- reasoning systems
- case based reasoning
- information retrieval
- databases
- description logics
- information systems
- artificial intelligence
- scientific discovery
- reasoning about actions
- database
- resource bounded
- rule based reasoning