Keyphrases
- expressive power
- default logic
- inheritance reasoning
- defeasible logic
- computational properties
- first order logic
- inference rules
- default reasoning
- tableau calculus
- modal logic
- learning algorithm
- nonmonotonic reasoning
- real time
- data complexity
- formal semantics
- default theories
- query language
- conditional logic
- defeasible reasoning
- artificial intelligence