A Logic-based Calculus of Events.

Robert A. Kowalski Marek J. Sergot

Published in: New Gener. Comput. (1986)

Keyphrases

knowledge representation
event detection
temporal data
temporal relations
search engine
events occurring
temporal patterns
temporal relationships
automated deduction