2026-07-26T01:05:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:21213 2024-10-22T05:39:58Z ddc:004 open_access

Extending the Range of Temporal Specifications of the Run-Time Event Calculus Mantenoglou, Periklis Artikis, Alexander Event Calculus temporal pattern matching composite event recognition Composite event recognition (CER) frameworks reason over streams of low-level, symbolic events in order to detect instances of spatio-temporal patterns defining high-level, composite activities. The Event Calculus is a temporal, logical formalism that has been used to define composite activities in CER, while RTEC_{∘} is a formal CER framework that detects composite activities based on their Event Calculus definitions. RTEC_{∘}, however, cannot handle every possible set of Event Calculus definitions for composite activities, limiting the range of CER applications supported by RTEC_{∘}. We propose RTEC_{fl}, an extension of RTEC_{∘} that supports arbitrary composite activity specifications in the Event Calculus. We present the syntax, semantics, reasoning algorithms and time complexity of RTEC_{fl}. Our analysis demonstrates that RTEC_{fl} extends the scope of RTEC_{∘}, supporting every possible set of Event Calculus definitions for composite activities, while maintaining the high reasoning efficiency of RTEC_{∘}. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Periklis Mantenoglou and Alexander Artikis 2024 Is Part Of LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2024.6 urn:nbn:de:0030-drops-212135 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.6 eng https://creativecommons.org/licenses/by/4.0/legalcode