Keyphrases
- meta level
- reasoning systems
- knowledge base
- knowledge representation
- conflicting information
- fuzzy description logics
- domain specific
- automated reasoning
- proof theory
- approximate reasoning
- fuzzy reasoning
- data sets
- inference engine
- databases
- reasoning problems
- resource bounded
- database systems
- reasoning engine
- decision trees