Keyphrases
- inheritance reasoning
- default rules
- nonmonotonic inference
- proof theoretic
- reasoning systems
- probabilistic reasoning
- reasoning tasks
- belief revision
- resource bounded
- logical framework
- legal reasoning
- computational properties
- information systems
- analogical reasoning
- model based reasoning
- commonsense reasoning
- reasoning mechanisms
- knowledge representation
- multi agent
- knowledge base