Published in: LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, and George A. Vouros. A Stream Reasoning System for Maritime Monitoring. In 25th International Symposium on Temporal Representation and Reasoning (TIME 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 120, pp. 20:1-20:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{santipantakis_et_al:LIPIcs.TIME.2018.20,
author = {Santipantakis, Georgios M. and Vlachou, Akrivi and Doulkeridis, Christos and Artikis, Alexander and Kontopoulos, Ioannis and Vouros, George A.},
title = {{A Stream Reasoning System for Maritime Monitoring}},
booktitle = {25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
pages = {20:1--20:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-089-7},
ISSN = {1868-8969},
year = {2018},
volume = {120},
editor = {Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.20},
URN = {urn:nbn:de:0030-drops-97858},
doi = {10.4230/LIPIcs.TIME.2018.20},
annote = {Keywords: event pattern matching, Event Calculus}
}