Keyphrases
- proof theory
- inheritance reasoning
- computational properties
- proof theoretic
- reasoning systems
- expressive power
- data streams
- intuitionistic logic
- knowledge representation formalisms
- spatial reasoning
- automated reasoning
- horn logic
- nonmonotonic inference
- knowledge representation
- default reasoning
- real time
- rule based reasoning
- knowledge representation and reasoning
- stream data
- reasoning process
- propositional logic
- modal logic
- uncertain information
- stream processing
- streaming data
- knowledge representation languages
- inference rules
- knowledge base
- artificial intelligence