2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.FL2024
Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
Elias Alevizos, Alexander Artikis, Georgios Paliouras
We present a system for Complex Event Recognition (CER) based on automata. While multiple such systems have been described in the literature, they typically suffer from a lack of c…
cs.LO2020
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Francesco Ricca, Alessandra Russo, Sergio Greco +9
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all…
cs.MA2010★ 2 cited
A Formal Specification of Dynamic Protocols for Open Agent Systems
Alexander Artikis
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `open'. T…