Empirically successful computerized reasoning.
Renate A. SchmidtGeoff SutcliffeStephan SchulzPublished in: J. Appl. Log. (2009)
Keyphrases
- knowledge base
- reasoning systems
- qualitative reasoning
- automated reasoning
- conflicting information
- knowledge representation and reasoning
- data sets
- meta level
- inference engine
- probabilistic reasoning
- reasoning tasks
- reasoning process
- computer aided
- decision making
- knowledge processing
- logical reasoning
- fuzzy description logics
- data mining