The event calculus explained,” (1999)

by M Shanahan
Venue:in Artificial Intelligence Today, ser. LNCS.