{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:13:47Z","timestamp":1743059627180,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031520372"},{"type":"electronic","value":"9783031520389"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-52038-9_1","type":"book-chapter","created":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T06:02:40Z","timestamp":1704780160000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Forget and\u00a0Regeneration Techniques for\u00a0Optimizing ASP-Based Stream Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0534-6425","authenticated-orcid":false,"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6632-3492","authenticated-orcid":false,"given":"Francesco","family":"Pacenza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,10]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215\u2013221. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Beck, H., Bierbaumer, B., Dao-Tran, M., Eiter, T., Hellwagner, H., Schekotihin, K.: Stream reasoning-based control of caching strategies in CCN routers. In: IEEE International Conference on Communications, ICC 2017, Paris, France, 21\u201325 May 2017, pp. 1\u20136. IEEE (2017). https:\/\/doi.org\/10.1109\/ICC.2017.7996762","DOI":"10.1109\/ICC.2017.7996762"},{"key":"1_CR3","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: Answer update for rule-based stream reasoning. In: IJCAI, pp. 2741\u20132747. AAAI Press (2015)"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.3390\/a16040185","volume":"16","author":"P Cabalar","year":"2023","unstructured":"Cabalar, P., Fandinno, J., Schaub, T., Wanko, P.: On the semantics of hybrid ASP systems based on clingo. Algorithms 16(4), 185 (2023)","journal-title":"Algorithms"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science()","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-319-70169-1_13","volume-title":"AI*IA 2017 Advances in Artificial Intelligence","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: External computations and interoperability in the new DLV grounder. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F. (eds.) AI*IA 2017 Advances in Artificial Intelligence. Lecture Notes in Computer Science(), vol. 10640, pp. 172\u2013185. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70169-1_13"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/IA-170104","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: I-DLV: the new intelligent grounder of DLV. Intelligenza Artificiale 11(1), 5\u201320 (2017)","journal-title":"Intelligenza Artificiale"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-319-99906-7_23","volume-title":"Rules and Reasoning","author":"F Calimeri","year":"2018","unstructured":"Calimeri, F., Germano, S., Ianni, G., Pacenza, F., Perri, S., Zangari, J.: Integrating rule-based AI tools into mainstream game development. In: Benzm\u00fcller, C., Ricca, F., Parent, X., Roman, D. (eds.) RuleML+RR 2018. LNCS, vol. 11092, pp. 310\u2013317. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99906-7_23"},{"issue":"5\u20136","key":"1_CR8","first-page":"957","volume":"19","author":"F Calimeri","year":"2019","unstructured":"Calimeri, F., Ianni, G., Pacenza, F., Perri, S., Zangari, J.: Incremental answer set programming with overgrounding. TPLP 19(5\u20136), 957\u2013973 (2019)","journal-title":"TPLP"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Ianni, G., Pacenza, F., Perri, S., Zangari, J.: ASP-based multi-shot reasoning via DLV2 with incremental grounding. In: PPDP, pp. 1\u20139. ACM (2022)","DOI":"10.1145\/3551357.3551371"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3390\/a16030159","volume":"16","author":"F Calimeri","year":"2023","unstructured":"Calimeri, F., et al.: ASP-based declarative reasoning in data-intensive enterprise and IoT applications. Algorithms 16(3), 159 (2023)","journal-title":"Algorithms"},{"issue":"5","key":"1_CR11","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1017\/S147106842100034X","volume":"21","author":"F Calimeri","year":"2021","unstructured":"Calimeri, F., Manna, M., Mastria, E., Morelli, M.C., Perri, S., Zangari, J.: I-DLV-sr: a stream reasoning system based on I-DLV. Theory Pract. Log. Program. 21(5), 610\u2013628 (2021)","journal-title":"Theory Pract. Log. Program."},{"issue":"5","key":"1_CR12","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1017\/S147106842000037X","volume":"20","author":"C Dodaro","year":"2020","unstructured":"Dodaro, C., Eiter, T., Ogris, P., Schekotihin, K.: Managing caching strategies for stream reasoning with reinforcement learning. Theory Pract. Log. Program. 20(5), 625\u2013640 (2020). https:\/\/doi.org\/10.1017\/S147106842000037X","journal-title":"Theory Pract. Log. Program."},{"issue":"14","key":"1_CR13","doi-asserted-by":"publisher","first-page":"1644","DOI":"10.1016\/J.ARTINT.2008.05.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artif. Intell. 172(14), 1644\u20131672 (2008). https:\/\/doi.org\/10.1016\/J.ARTINT.2008.05.002","journal-title":"Artif. Intell."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Fusc\u00e0, D., Germano, S., Zangari, J., Anastasio, M., Calimeri, F., Perri, S.: A framework for easing the development of applications embedding answer set programming. In: PPDP, pp. 38\u201349. ACM (2016)","DOI":"10.1145\/2967973.2968594"},{"issue":"1","key":"1_CR15","first-page":"27","volume":"19","author":"M Gebser","year":"2019","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. TPLP 19(1), 27\u201382 (2019)","journal-title":"TPLP"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., Schaub, T.: Evaluation techniques and systems for answer set programming: a survey. In: IJCAI, pp. 5450\u20135456. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/769"},{"issue":"5","key":"1_CR17","first-page":"719","volume":"20","author":"G Ianni","year":"2020","unstructured":"Ianni, G., Pacenza, F., Zangari, J.: Incremental maintenance of overgrounded logic programs with tailored simplifications. TPLP 20(5), 719\u2013734 (2020)","journal-title":"TPLP"},{"issue":"3","key":"1_CR18","first-page":"25","volume":"37","author":"B Kaufmann","year":"2016","unstructured":"Kaufmann, B., Leone, N., Perri, S., Schaub, T.: Grounding and solving in answer set programming. AI Mag. 37(3), 25\u201332 (2016)","journal-title":"AI Mag."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.artint.2018.12.004","volume":"269","author":"B Motik","year":"2019","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Maintenance of datalog materialisations revisited. Artif. Intell. 269, 76\u2013136 (2019). https:\/\/doi.org\/10.1016\/j.artint.2018.12.004","journal-title":"Artif. Intell."},{"key":"1_CR20","unstructured":"Phuoc, D.L., Eiter, T.: An adaptive semantic stream reasoning framework for deep neural networks. In: Conrad, S., Tiddi, I. (eds.) Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), Galway, Ireland, 19\u201323 October 2020. CEUR Workshop Proceedings, vol. 2699. CEUR-WS.org (2020). http:\/\/ceur-ws.org\/Vol-2699\/paper09.pdf"},{"issue":"1\u20132","key":"1_CR21","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10514-018-9721-x","volume":"43","author":"ZG Saribatur","year":"2019","unstructured":"Saribatur, Z.G., Patoglu, V., Erdem, E.: Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories. Auton. Robots 43(1), 213\u2013238 (2019). https:\/\/doi.org\/10.1007\/s10514-018-9721-x","journal-title":"Auton. Robots"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Suchan, J., Bhatt, M., Walega, P.A., Schultz, C.P.L.: Visual explanation by high-level abduction: On answer-set programming driven reasoning about moving objects. In: AAAI, pp. 1965\u20131972 (2018). https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/17303","DOI":"10.1609\/aaai.v32i1.11569"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-52038-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T06:05:28Z","timestamp":1704780328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-52038-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031520372","9783031520389"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-52038-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"10 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 January 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl24.sigplan.org\/home\/PADL-2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"HotCRP","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}