Efthimis Tsilionis — accepted AI-conference papers

2024

A Tensor-Based Formalization of the Event Calculus

Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras

IJCAI 2024poster

We present a formalization of the Event Calculus (EC) in tensor spaces. The motivation for a tensor-based predicate calculus comes from the area of composite event recognition (CER). As a CER engine, we adopt a logic programming implementation of EC with optimizations for continuous narrative assimi…

Cited by 1 Source ↗PDF ↗Scholar ↗

2023

Incremental Event Calculus for Run-Time Reasoning (Extended Abstract)

Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras

IJCAI 2023poster

We present a system for online, incremental composite event recognition. In streaming environments, the usual case is for data to arrive with a (variable) delay from, and to be revised by, the underlying sources. We propose RTEC_inc, an incremental version of RTEC, a composite event recognition engi…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗