A logic-based calculus of events. New Generation Computing 4, 1, 67–96. Event Recognition 37 hal-00953673, version 1 - 10 Mar 2014 (1986)

by R Kowalski, M Sergot