Reformulation for Extensional Reasoning.
Timothy L. HinrichsMichael R. GeneserethPublished in: SARA (2007)
Keyphrases
- reasoning systems
- knowledge base
- knowledge representation
- automated reasoning
- spatial reasoning
- reasoning engine
- reasoning process
- reasoning tasks
- genetic algorithm
- real time
- inference engine
- meta level
- database
- partial order
- computational complexity
- case study
- uncertain information
- causal reasoning
- consistency checking
- analogical reasoning
- model based reasoning