Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models.

Mattias Tiger Fredrik Heintz

Published in: TIME (2016)

Keyphrases

temporal logic
dynamic constraints
model checking
temporal knowledge
probabilistic model
transition systems
modal logic
reactive systems
satisfiability problem
knowledge base
complex systems
temporally extended
concurrent systems
verification method
knowledge representation
reinforcement learning
bayesian networks