The logic of events.

Glenn Shafer Peter R. Gillett Richard B. Scherl

Published in: Ann. Math. Artif. Intell. (2000)

Keyphrases

event detection
information systems
automated reasoning
multi valued
logic programming
logical framework
classical logic
event recognition
event types
bayesian networks
temporal information
modal logic
temporal relations
event sequences
temporal ordering