Modular Reasoning in the Presence of Subclassing.
Raymie StataJohn V. GuttagPublished in: OOPSLA (1995)
Keyphrases
- knowledge base
- reasoning systems
- conflicting information
- qualitative reasoning
- derivation rules
- artificial intelligence
- modular structure
- spatial reasoning
- probabilistic logic
- rule based reasoning
- meta level
- reasoning tasks
- uncertain information
- knowledge representation and reasoning
- reasoning problems
- deductive reasoning
- probabilistic reasoning
- knowledge representation