Equivalent Stream Reasoning Programs.

Harald Beck Minh Dao-Tran Thomas Eiter

Published in: IJCAI (2016)

Keyphrases

data streams
knowledge base
knowledge representation
sliding window
automatic programming
reasoning systems
analogical reasoning
meta level
qualitative reasoning
stream processing
real time
neural network
automated reasoning
reasoning tasks
consistency checking
control program