Fixed point semantics for stream reasoning.

Christian Antic

Published in: Artif. Intell. (2020)

Keyphrases

fixed point semantics
knowledge representation
knowledge base
reasoning systems
data streams
sliding window
production rules
automated reasoning
data model
probabilistic reasoning
knowledge representation and reasoning