Ticker: A system for incremental ASP-based stream reasoning.
Harald BeckThomas EiterChristian FoliePublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- answer set programming
- reasoning tasks
- data streams
- incremental learning
- knowledge base
- incremental clustering
- real time
- reasoning systems
- sliding window
- web applications
- knowledge representation
- automated reasoning
- reasoning process
- model based reasoning
- rule based reasoning
- data driven
- meta level
- machine learning
- data sets
- knowledge representation and reasoning
- database
- reasoning engine