On Repairing Reasoning Reversals via Representational Refinements.
Alan BundyFiona McNeillChristopher WaltonPublished in: FLAIRS Conference (2006)
Keyphrases
- multiple representations
- knowledge base
- formal models
- spatial reasoning
- reasoning tasks
- automated reasoning
- model based reasoning
- knowledge processing
- uncertain information
- fuzzy reasoning
- reasoning problems
- logical reasoning
- fuzzy description logics
- conflicting information
- resource bounded
- reasoning mechanisms
- reasoning about actions
- legal reasoning
- knowledge representation and reasoning
- real time
- graphical representation
- meta level
- default reasoning
- website
- artificial intelligence
- neural network