content. The input of our system is a set of time-stamped short-term activities (STA) detected
on video frames. The output is a set of recognised long-term activities (LTA), which are pre-
defined temporal combinations of STA. The constraints on the STA that, if satisfied, lead to
the recognition of an LTA, have been expressed using a dialect of the Event Calculus. In
order to handle the uncertainty that naturally occurs in human activity recognition, we …