Ticker: A System for Incremental ASP-based Stream Reasoning.

Harald Beck Thomas Eiter Christian Folie

Published 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