Extending the Limits of Sequentially Phased Reasoning.
Michael SiegelFrank A. StompPublished in: FSTTCS (1994)
Keyphrases
- reasoning tasks
- reasoning systems
- knowledge base
- knowledge representation
- model based reasoning
- spatial reasoning
- logical framework
- resource bounded
- data sets
- consistency checking
- causal reasoning
- legal reasoning
- probabilistic logic
- reasoning process
- automated reasoning
- qualitative reasoning
- probabilistic reasoning