PROJECT RESULTS
Publications
Temporal Specification Optimisation for the Event Calculus
TYPE OF PUBLICATION
AUTHORS
<a href="https://crexdata.eu/authors/aikaterini-mania/">Aikaterini Mania</a>, <a href="https://crexdata.eu/authors/alexander-artikis/">Alexander Artikis</a>, <a href="https://crexdata.eu/authors/alexios-stavroulakis/">Alexios Stavroulakis</a>, <a href="https://crexdata.eu/authors/andreas-kouvaras/">Andreas Kouvaras</a>, <a href="https://crexdata.eu/authors/antti-makela/">Antti Mäkelä</a>, <a href="https://crexdata.eu/authors/deniz-ozcan/">Deniz Ozcan</a>, <a href="https://crexdata.eu/authors/despina-dimelli/">Despina Dimelli</a>, <a href="https://crexdata.eu/authors/hilppa-gregow/">Hilppa Gregow</a>, <a href="https://crexdata.eu/authors/ilona-lang-ritter/">Ilona Láng-Ritter</a>, <a href="https://crexdata.eu/authors/iris-grasler/">Iris Gräßler</a>, <a href="https://crexdata.eu/authors/juha-haakana/">Juha Haakana</a>, <a href="https://crexdata.eu/authors/jukka-lassila/">Jukka Lassila</a>, <a href="https://crexdata.eu/authors/markku-karhunen/">Markku Karhunen</a>, <a href="https://crexdata.eu/authors/michail-roumeliotis/">Michail Roumeliotis</a>, <a href="https://crexdata.eu/authors/otto-raisanen/">Otto Räisänen</a>, <a href="https://crexdata.eu/authors/periklis-mantenoglou/">Periklis Mantenoglou</a>, <a href="https://crexdata.eu/authors/tehri-kristina-laurila/">Tehri Kristina Laurila</a>, <a href="https://crexdata.eu/authors/victoria-anne-sinclair/">Victoria Anne Sinclair</a>
PUBLISHER
YEAR OF PUBLICATION
2024
ISSN
DOI
https://doi.org/10.5281/zenodo.14412119
LINK TO THE REPOSITORY
https://zenodo.org/records/14412119
LINK TO THE PUBLICATION