Towards Ideal Semantics for Analyzing Stream Reasoning.
Harald BeckMinh Dao-TranThomas EiterMichael FinkPublished in: CoRR (2015)
Keyphrases
- reasoning tasks
- open world
- proof theory
- fuzzy description logics
- logic programming
- logical framework
- reasoning mechanisms
- default rules
- uml class diagrams
- knowledge representation
- proof theoretic
- formal semantics
- data streams
- reasoning mechanism
- knowledge base
- reasoning process
- defeasible reasoning
- computational properties
- abstract argumentation
- default reasoning
- description logics
- reasoning services
- automated reasoning
- reasoning systems
- knowledge representation and reasoning
- analogical reasoning
- sliding window
- uncertain information
- expert systems
- closed world
- logic programs
- vague concepts
- owl dl
- graphical representation
- ontological reasoning
- legal reasoning
- derivation rules
- logical rules
- real time
- belief revision
- semantic information
- programming language
- artificial intelligence