"A logic programming approach to activity recognition."

Alexander Artikis, Marek J. Sergot, Georgios Paliouras (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics