Partial-State Progression for Stream Reasoning with Metric Temporal Logic.

Daniel de Leng Fredrik Heintz

Published in: KR (2018)

Keyphrases

knowledge representation
metric temporal logic
finite state machines
machine learning
computer vision
decision making
knowledge base
data streams