Abstraction and Refinement for Local Reasoning.
Thomas Dinsdale-YoungPhilippa GardnerMark J. WheelhousePublished in: VSTTE (2010)
Keyphrases
- reasoning processes
- knowledge representation
- reasoning tasks
- reasoning process
- reasoning mechanism
- meta level
- data sets
- high level
- analogical reasoning
- mental imagery
- reasoning problems
- model based reasoning
- reasoning systems
- legal reasoning
- fuzzy reasoning
- qualitative reasoning
- default reasoning
- probabilistic reasoning
- database systems
- machine learning
- data mining