Stream Reasoning with LARS.
Harald BeckMinh Dao-TranThomas EiterChristian FoliePublished in: Künstliche Intell. (2018)
Keyphrases
- data streams
- sliding window
- real time
- reasoning systems
- automated reasoning
- neural network
- model based reasoning
- knowledge representation
- reasoning tasks
- meta level
- resource bounded
- reasoning process
- search engine
- qualitative reasoning
- database
- text mining
- computational properties
- formal models
- artificial intelligence
- information retrieval
- deductive reasoning