Modal Event Calculi with Preconditions.

Iliano Cervesato Massimo Franceschet Angelo Montanari

Published in: TIME (1997)

Keyphrases

event detection
modal logic
explanation based learning
video event
neural network
temporal patterns
event sequences
event recognition
event processing
knowledge base
inference rules
news stories
reasoning problems
events occur
sequent calculi