"Towards A Simple Event Calculus for Run-Time Reasoning."

Christos Vlassopoulos, Alexander Artikis (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics