{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T11:01:09Z","timestamp":1776942069363,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:00:00Z","timestamp":1725840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Ministero dell'Universit\u00e0 e della Ricerca (MUR)","award":["PE00000013"],"award-info":[{"award-number":["PE00000013"]}]},{"name":"Ministero dell'Universit\u00e0 e della Ricerca (MUR)","award":["H23C22000370006"],"award-info":[{"award-number":["H23C22000370006"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,9]]},"DOI":"10.1145\/3678232.3678248","type":"proceedings-article","created":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:35:17Z","timestamp":1725489317000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-7437-9505","authenticated-orcid":false,"given":"Luca","family":"Laboccetta","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0681-776X","authenticated-orcid":false,"given":"Elena","family":"Mastria","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9742-1252","authenticated-orcid":false,"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3090-7223","authenticated-orcid":false,"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40537-017-0072-9"},{"key":"e_1_3_2_1_2_1","volume-title":"LPNMR(Lecture Notes in Computer Science, Vol.\u00a010377)","author":"Alviano Mario","unstructured":"Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc\u00e0, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari. 2017. The ASP System DLV2. In LPNMR(Lecture Notes in Computer Science, Vol.\u00a010377). Springer, 215\u2013221."},{"key":"e_1_3_2_1_3_1","volume-title":"LPNMR(Lecture Notes in Computer Science, Vol.\u00a09345)","author":"Alviano Mario","unstructured":"Mario Alviano, Carmine Dodaro, Nicola Leone, and Francesco Ricca. 2015. Advances in WASP. In LPNMR(Lecture Notes in Computer Science, Vol.\u00a09345). Springer, 40\u201354."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963495"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1142\/S1793351X10000936"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ARTINT.2018.04.003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000370"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1398"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17746-0_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000450"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3233\/IA-170104"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551357.3551371"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842100034X"},{"key":"e_1_3_2_1_15_1","unstructured":"Francesco Calimeri Elena Mastria and Simona Perri. 2024. DP-SR: a purely Declarative Programming framework for Stream Reasoning. https:\/\/sites.google.com\/unical.it\/dp-sr"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-21541-4_3"},{"key":"e_1_3_2_1_17_1","first-page":"28","article-title":"Apache Flink\u2122: Stream and Batch Processing in a Single Engine","volume":"38","author":"Carbone Paris","year":"2015","unstructured":"Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, and Kostas Tzoumas. 2015. Apache Flink\u2122: Stream and Batch Processing in a Single Engine. IEEE Data Eng. Bull. 38, 4 (2015), 28\u201338. http:\/\/sites.computer.org\/debull\/A15dec\/p28.pdf","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3233\/DS-170006"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21043-3_13"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000309"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000150"},{"key":"e_1_3_2_1_24_1","volume-title":"LPNMR(Lecture Notes in Computer Science, Vol.\u00a09345)","author":"Gebser Martin","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, and Torsten Schaub. 2015. Progress in clasp Series 3. In LPNMR(Lecture Notes in Computer Science, Vol.\u00a09345). Springer, 368\u2013383."},{"key":"e_1_3_2_1_25_1","volume-title":"Preliminary Report. CoRR abs\/1405.3694","author":"Gebser Martin","year":"2014","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2014. Clingo = ASP + Control: Preliminary Report. CoRR abs\/1405.3694 (2014)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/769"},{"key":"e_1_3_2_1_27_1","volume-title":"Ordring Workshop at ISWC.","author":"Hoeksema Jesper","year":"2011","unstructured":"Jesper Hoeksema and Spyros Kotoulas. 2011. High-performance distributed stream reasoning using s4. In Ordring Workshop at ISWC."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842000040X"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21768-0_10"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3390\/bdcc7030135"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39666-3_23"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20528-7_4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25073-6_24"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Manolis Pitsikalis Alexander Artikis Richard Dreo Cyril Ray Elena Camossi and Anne-Laure Jousselme. 2019. Composite Event Recognition for Maritime Monitoring. In DEBS. ACM 163\u2013174.","DOI":"10.1145\/3328905.3329762"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2018.8621947"}],"event":{"name":"PPDP 2024: 26th International Symposium on Principles and Practice of Declarative Programming","location":"Milano Italy","acronym":"PPDP 2024"},"container-title":["Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678232.3678248","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3678232.3678248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:54:09Z","timestamp":1750287249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678232.3678248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,9]]},"references-count":35,"alternative-id":["10.1145\/3678232.3678248","10.1145\/3678232"],"URL":"https:\/\/doi.org\/10.1145\/3678232.3678248","relation":{},"subject":[],"published":{"date-parts":[[2024,9,9]]},"assertion":[{"value":"2024-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}