On the Competeness of Compositional Reasoning.
Kedar S. NamjoshiRichard J. TreflerPublished in: CAV (2000)
Keyphrases
- knowledge base
- reasoning systems
- spatial reasoning
- website
- meta level
- automated reasoning
- approximate reasoning
- knowledge representation and reasoning
- consistency checking
- reasoning process
- reasoning tasks
- model based reasoning
- formal models
- knowledge processing
- analogical reasoning
- reasoning problems
- artificial intelligence
- multi agent decision making
- logical framework
- qualitative reasoning
- inference engine
- knowledge representation
- multiscale
- bayesian networks
- computer vision