Syllogistic Reasoning in Seven Spaces.
Frieder StolzenburgRaimund LüderitzPublished in: DKB/KIK@KI (2017)
Keyphrases
- knowledge base
- knowledge representation
- consistency checking
- reasoning process
- qualitative reasoning
- mental models
- data sets
- resource bounded
- domain knowledge
- production rules
- model based diagnosis
- website
- meta level
- spatial reasoning
- search engine
- automated reasoning
- reasoning tasks
- genetic algorithm
- logical framework
- neural network
- model based reasoning
- real time
- deductive reasoning