{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T06:56:23Z","timestamp":1726124183354},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030757748"},{"type":"electronic","value":"9783030757755"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-75775-5_27","type":"book-chapter","created":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:46:09Z","timestamp":1620776769000},"page":"407-420","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-1841-8996","authenticated-orcid":false,"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-3794-2942","authenticated-orcid":false,"given":"Roberta","family":"Calegari","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6655-3869","authenticated-orcid":false,"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,5,12]]},"reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-15918-3_5","volume-title":"Web Reasoning and Rule Systems","author":"D Anicic","year":"2010","unstructured":"Anicic, D., Fodor, P., Rudolph, S., St\u00fchmer, R., Stojanovic, N., Studer, R.: A rule-based language for complex event processing and reasoning. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 42\u201357. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15918-3_5"},{"issue":"1\u20132","key":"27_CR2","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1080\/08839514.2012.636616","volume":"26","author":"D Anicic","year":"2012","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Real-time complex event recognition and reasoning-a logic programming approach. Appl. Artifi. Intell. 26(1\u20132), 6\u201357 (2012). https:\/\/doi.org\/10.1080\/08839514.2012.636616","journal-title":"Appl. Artifi. Intell."},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.artint.2018.04.003","volume":"261","author":"H Beck","year":"2018","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: LARS: a logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16\u201370 (2018). https:\/\/doi.org\/10.1016\/j.artint.2018.04.003","journal-title":"Artif. Intell."},{"issue":"5\u20136","key":"27_CR4","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1017\/S1471068417000370","volume":"17","author":"H Beck","year":"2017","unstructured":"Beck, H., Eiter, T., Folie, C.: Ticker: a system for incremental ASP-based stream reasoning. Theory Pract. Logic Program. 17(5\u20136), 744\u2013763 (2017). https:\/\/doi.org\/10.1017\/S1471068417000370","journal-title":"Theory Pract. Logic Program."},{"issue":"3","key":"27_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.3390\/bdcc2030023","volume":"2","author":"R Calegari","year":"2018","unstructured":"Calegari, R., Ciatto, G., Mariani, S., Denti, E., Omicini, A.: LPaaS as micro-intelligence: Enhancing IoT with symbolic reasoning. Big Data Cogn. Comput. 2(3), 23 (2018). https:\/\/doi.org\/10.3390\/bdcc2030023","journal-title":"Big Data Cogn. Comput."},{"issue":"1","key":"27_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3233\/IA-190036","volume":"14","author":"R Calegari","year":"2020","unstructured":"Calegari, R., Ciatto, G., Omicini, A.: On the integration of symbolic and sub-symbolic techniques for XAI: a survey. Intell. Artifi. 14(1), 7\u201332 (2020). https:\/\/doi.org\/10.3233\/IA-190036","journal-title":"Intell. Artifi."},{"key":"27_CR7","unstructured":"Ciatto, G.: 2P-Kt. https:\/\/github.com\/tuProlog\/2p-kt"},{"key":"27_CR8","unstructured":"Ciatto, G.: Travelling salesman problem (TSP) in 2P-Kt. https:\/\/github.com\/tuProlog\/ortools-tsp-example"},{"key":"27_CR9","unstructured":"Ciatto, G., Calegari, R., Siboni, E., Denti, E., Omicini, A.: 2P-Kt: logic programming with objects & functions in Kotlin. In: Calegari, R., Ciatto, G., Denti, E., Omicini, A., Sartor, G. (eds.) WOA 2020\u201321th Workshop \u201cFrom Objects to Agents\". CEUR Workshop Proceedings, vol. 2706, pp. 219\u2013236. Sun SITE Central Europe, RWTH Aachen University, Aachen, Germany, October 2020. http:\/\/ceur-ws.org\/Vol-2706\/paper14.pdf"},{"key":"27_CR10","doi-asserted-by":"publisher","unstructured":"Colmerauer, A., Roussel, P.: The birth of prolog. In: Lee, J.A.N., Sammet, J.E. (eds.) History of Programming Languages Conference (HOPL-II). pp. 37\u201352. ACM, April 1993. https:\/\/doi.org\/10.1145\/154766.155362","DOI":"10.1145\/154766.155362"},{"key":"27_CR11","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July\u20135 August 2005, pp. 90\u201396. Professional Book Center (2005). http:\/\/ijcai.org\/Proceedings\/05\/Papers\/1353.pdf"},{"key":"27_CR12","unstructured":"Perron, L., Furnon, V.: OR-tools. https:\/\/developers.google.com\/optimization\/"},{"key":"27_CR13","doi-asserted-by":"publisher","unstructured":"Piancastelli, G., Benini, A., Omicini, A., Ricci, A.: The architecture and design of a malleable object-oriented Prolog engine. In: Wainwright, R.L., Haddad, H.M., Menezes, R., Viroli, M. (eds.) 23rd ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Cear\u00e1, Brazil, 16\u201320 March 2008, vol. 1, pp. 191\u2013197. ACM (2008). https:\/\/doi.org\/10.1145\/1363686.1363739","DOI":"10.1145\/1363686.1363739"},{"issue":"5\u20136","key":"27_CR14","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1017\/S1471068416000211","volume":"16","author":"C Redl","year":"2016","unstructured":"Redl, C.: The DLVHEX system for knowledge representation: recent advances (system description). Theory Pract. Logic Program. 16(5\u20136), 866\u2013883 (2016). https:\/\/doi.org\/10.1017\/S1471068416000211","journal-title":"Theory Pract. Logic Program."},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"224","DOI":"10.4204\/eptcs.306.26","volume":"306","author":"P Tarau","year":"2019","unstructured":"Tarau, P., Wielemaker, J., Schrijvers, T.: Lazy stream programming in Prolog. Electron. Proc. Theory Comput. Sci. 306, 224\u2013237 (2019). https:\/\/doi.org\/10.4204\/eptcs.306.26","journal-title":"Electron. Proc. Theory Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-75775-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:52:31Z","timestamp":1620777151000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75775-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030757748","9783030757755"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75775-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2021.aau.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"68","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":"27","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":"3","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":"40% - 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":"3","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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}