Adcuctive Reasoning with Abstraction Axioms.
Luca ConsoleDaniele Theseider DupréPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- knowledge base
- computational properties
- high level
- reasoning process
- automated reasoning
- reasoning processes
- meta level
- data sets
- analogical reasoning
- reasoning systems
- knowledge representation
- learning algorithm
- genetic algorithm
- deductive reasoning
- database
- reasoning problems
- mental imagery
- consistency checking
- spatial reasoning
- case based reasoning
- low level