Keyword:Event Calculus

Publications
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering Smitha Gautham, Athira Varma Jayakumar and Carl Elks EasyChair Preprint 3769
Learning Commonsense Knowledge through Interactive Dialogue Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue EasyChair Preprint 224
Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming Abdullah Khan, Loris Bozzato, Luciano Serafini and Beatrice Lazzerini In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore Patkos In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning