Login / Signup
Events in Branching Time.
Stefan Wölfl
Published in:
Stud Logica (2005)
Keyphrases
</>
event detection
temporal reasoning
model checking
temporal logic
event sequences
temporal information
temporal data
temporal relations
event recognition
epistemic logic
database
machine learning
knowledge base
spatial information