Ticker: A System for Incremental ASP-based Stream Reasoning.
Harald BeckThomas EiterChristian FoliePublished in: CoRR (2017)
Keyphrases
- answer set programming
- data streams
- web applications
- reasoning tasks
- incremental learning
- knowledge base
- reasoning systems
- data driven
- resource bounded
- reasoning process
- sliding window
- deductive reasoning
- real time
- incremental clustering
- analogical reasoning
- automated reasoning
- spatial reasoning
- probabilistic reasoning
- logic programming
- association rules
- case study
- information systems
- machine learning
- neural network