{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:47:48Z","timestamp":1762508868442,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031177149"},{"type":"electronic","value":"9783031177156"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-17715-6_11","type":"book-chapter","created":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T09:02:27Z","timestamp":1664701347000},"page":"151-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reconciling Communication Delays and\u00a0Negation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7866-7484","authenticated-orcid":false,"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3106-0423","authenticated-orcid":false,"given":"Gra\u00e7a","family":"Gaspar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3966-4966","authenticated-orcid":false,"given":"Isabel","family":"Nunes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"key":"11_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Alferes, J.J., Pereira, L.M: Reasoning with Logic Programming. LNCS, vol. 1111. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61488-5","DOI":"10.1007\/3-540-61488-5"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1186\/2041-1480-5-35","volume":"5","author":"M Alirezaie","year":"2014","unstructured":"Alirezaie, M., Loutfi, A.: Automated reasoning using abduction for interpretation of medical signals. J. Biomed. Semant. 5, 35 (2014)","journal-title":"J. Biomed. Semant."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Babcock, B., Babu, S., Datar, M., Motwani, R., Widom, J.: Models and issues in data stream systems. In: Popa, L., Abiteboul, S., Kolaitis, P.G. (eds.) Proceedings of the PODS, pp. 1\u201316. ACM (2002)","DOI":"10.1145\/543613.543615"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13486-9_1","volume-title":"The Semantic Web: Research and Applications","author":"DF Barbieri","year":"2010","unstructured":"Barbieri, D.F., Braga, D., Ceri, S., Della Valle, E., Grossniklaus, M.: Incremental reasoning on streams and rich background knowledge. In: Aroyo, L., et al. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 1\u201315. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13486-9_1"},{"key":"11_CR6","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: Answer update for rule-based stream reasoning. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of the IJCAI, pp. 2741\u20132747. AAAI Press (2015)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Beck, H., Dao-Tran, M., Eiter, T., Fink, M.: LARS: a logic-based framework for analyzing reasoning over streams. In: Bonet and Koenig [8], pp. 1431\u20131438 (2015)","DOI":"10.1609\/aaai.v29i1.9408"},{"key":"11_CR8","unstructured":"Bonet, B., Koenig, S. (eds.): 29th AAAI Conference on Artificial Intelligence, AAAI 2015, Austin, TX, USA. AAAI Press (2015)"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1(1), 146\u2013166 (1989)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Imielinski, T.: Temporal deductive databases and infinite objects. In: Edmondson-Yurkanan, C., Yannakakis, M. (eds.) Proceedings of the PODS, pp. 61\u201373. ACM (1988)","DOI":"10.1145\/308386.308416"},{"key":"11_CR11","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Hypothetical answers to continuous queries over data streams. CoRR abs\/1905.09610 (2019). Submitted for publication"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Hypothetical answers to continuous queries over data streams. In: Proceedings of the AAAI, pp. 2798\u20132805. AAAI Press (2020)","DOI":"10.1609\/aaai.v34i03.5668"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Can you answer while you wait? In: Proceedings of the FoIKS. LNCS. Springer (2022, to appear)","DOI":"10.1007\/978-3-031-11321-5_7"},{"issue":"3","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2187671.2187677","volume":"44","author":"G Cugola","year":"2012","unstructured":"Cugola, G., Margara, A.: Processing flows of information: from data stream to complex event processing. ACM Comput. Surv. 44(3), 1\u201362 (2012)","journal-title":"ACM Comput. Surv."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Dao-Tran, M., Eiter, T.: Streaming multi-context systems. In: Sierra, C. (ed.) Proceedings of the IJCAI, pp. 1000\u20131007. Ijcai.org (2017)","DOI":"10.24963\/ijcai.2017\/139"},{"issue":"1\u20132","key":"11_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.3233\/DS-170006","volume":"1","author":"D Dell\u2019Aglio","year":"2017","unstructured":"Dell\u2019Aglio, D., Valle, E.D., van Harmelen, F., Bernstein, A.: Stream reasoning: a survey and outlook. Data Sci. 1(1\u20132), 59\u201383 (2017)","journal-title":"Data Sci."},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402\u2013436. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45628-7_16"},{"key":"11_CR18","unstructured":"Dung, P.M.: Negations as hypotheses: an abductive foundation for logic programming. In: Furukawa, K. (ed.) Proceedings of the ICLP, pp. 3\u201317. MIT Press (1991)"},{"key":"11_CR19","unstructured":"Fitting, M.: Bilattices are nice things. In: Bolander, T., Hendricks, V., Pedersen, S.A. (eds.) Self-Reference, pp.53\u201377. CSLI Publications (2006)"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/TKDE.2007.250585","volume":"19","author":"TM Ghanem","year":"2007","unstructured":"Ghanem, T.M., Hammad, M.A., Mokbel, M.F., Aref, W.G., Elmagarmid, A.K.: Incremental evaluation of sliding-window queries over data streams. IEEE Trans. Knowl. Data Eng. 19(1), 57\u201372 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1\/2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1108\/17440080710829216","volume":"3","author":"AJ Gray","year":"2007","unstructured":"Gray, A.J., Nutt, W., Williams, M.H.: Answering queries over incomplete data stream histories. IJWIS 3(1\/2), 41\u201360 (2007)","journal-title":"IJWIS"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.: Maintaining views incrementally. In: Buneman, P., Jajodia, S. (eds.) Proceedings of the SIGMOD, pp. 157\u2013166. ACM Press (1993)","DOI":"10.1145\/170036.170066"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Hu, P., Motik, B., Horrocks, I.: Optimised maintenance of datalog materialisations. In: McIlraith and Weinberger [31], pp. 1871\u20131879 (2018)","DOI":"10.1609\/aaai.v32i1.11554"},{"issue":"3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(94)90043-4","volume":"18","author":"K Inoue","year":"1994","unstructured":"Inoue, K.: Hypothetical reasoning in logic programs. J. Log. Program. 18(3), 191\u2013227 (1994)","journal-title":"J. Log. Program."},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Lipski Jr., W.: On semantic issues connected with incomplete information databases. ACM Trans. Database Syst. 4(3), pp. 262\u2013296 (1979)","DOI":"10.1145\/320083.320088"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Lang, W., Nehme, R.V., Robinson, E., Naughton, J.F.: Partial results in database systems. In: Dyreson, C.E., Li, F., \u00d6zsu, M.T. (eds.) Proceedings of the SIGMOD, pp. 1275\u20131286. ACM (2014)","DOI":"10.1145\/2588555.2612176"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"de Leng, D., Heintz, F.: Approximate stream reasoning with metric temporal logic under uncertainty. In: Proceedings of the AAAI, pp. 2760\u20132767. AAAI Press (2019)","DOI":"10.1609\/aaai.v33i01.33012760"},{"issue":"1","key":"11_CR28","doi-asserted-by":"publisher","first-page":"274","DOI":"10.14778\/1453856.1453890","volume":"1","author":"J Li","year":"2008","unstructured":"Li, J., Tufte, K., Shkapenyuk, V., Papadimos, V., Johnson, T., Maier, D.: Out-of-order processing: a new architecture for high-performance stream systems. Proc. VLDB Endow. 1(1), 274\u2013288 (2008)","journal-title":"Proc. VLDB Endow."},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Li, M., Liu, M., Ding, L., Rundensteiner, E.A., Mani, M.: Event stream processing with out-of-order data arrival. In: Proceedings of the ICDCS, p. 67. IEEE Computer Society (2007)","DOI":"10.1109\/ICDCSW.2007.35"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Libkin, L.: Incomplete data: what went wrong, and how to fix it. In: Hull, R., Grohe, M. (eds.) Proceedings of the PODS, pp. 1\u201313. ACM (2014)","DOI":"10.1145\/2594538.2594561"},{"key":"11_CR31","unstructured":"McIlraith, S.A., Weinberger, K.Q. (eds.): 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, New Orleans, LA, USA. AAAI Press (2018)"},{"key":"11_CR32","unstructured":"Meadows, B.L., Langley, P., Emery, M.J.: Seeing beyond shadows: incremental abductive reasoning for plan understanding. In: Proceedings of the PLAN. AAAI Workshops, vol. WS-13-13. AAAI (2013)"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R.E.F., Horrocks, I.: Incremental update of datalog materialisation: the backward\/forward algorithm. In: In: Bonet and Koenig [8], pp. 1560\u20131568 (2015)","DOI":"10.1609\/aaai.v29i1.9409"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-319-11206-0_18","volume-title":"KI 2014: Advances in Artificial Intelligence","author":"\u00d6L \u00d6z\u00e7ep","year":"2014","unstructured":"\u00d6z\u00e7ep, \u00d6.L., M\u00f6ller, R., Neuenstadt, C.: A stream-temporal query language for ontology based data access. In: Lutz, C., Thielscher, M. (eds.) KI 2014. LNCS (LNAI), vol. 8736, pp. 183\u2013194. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11206-0_18"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Razniewski, S., Korn, F., Nutt, W., Srivastava, D.: Identifying the extent of completeness of query answers over partially complete databases. In: Sellis, T.K., Davidson, S.B., Ives, Z.G. (eds.) Proceedings of the SIGMOD, pp. 561\u2013576. ACM (2015)","DOI":"10.1145\/2723372.2750544"},{"key":"11_CR36","series-title":"Topics in Information Systems","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modelling","author":"R Reiter","year":"1984","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling. Topics in Information Systems, pp. 191\u2013238. Springer, New York (1984). https:\/\/doi.org\/10.1007\/978-1-4612-5196-5_8"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Ronca, A., Kaminski, M., Grau, B.C., Motik, B., Horrocks, I.: Stream reasoning in temporal datalog. In: McIlraith, S.A., Weinberger, K.Q. (eds.) 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, New Orleans, LA, USA, pp. 1941\u20131948 (2018)","DOI":"10.1609\/aaai.v32i1.11537"},{"issue":"4","key":"11_CR38","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1107499.1107504","volume":"34","author":"M Stonebraker","year":"2005","unstructured":"Stonebraker, M., \u00c7etintemel, U., Zdonik, S.B.: The 8 requirements of real-time stream processing. SIGMOD Rec. 34(4), 42\u201347 (2005)","journal-title":"SIGMOD Rec."},{"issue":"6","key":"11_CR39","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MIS.2009.125","volume":"24","author":"ED Valle","year":"2009","unstructured":"Valle, E.D., Ceri, S., van Harmelen, F., Fensel, D.: It\u2019s a streaming world! reasoning upon rapidly changing information. IEEE Intell. Syst. 24(6), 83\u201389 (2009)","journal-title":"IEEE Intell. Syst."},{"key":"11_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-32925-8_18","volume-title":"Datalog in Academia and Industry","author":"C Zaniolo","year":"2012","unstructured":"Zaniolo, C.: Logical foundations of continuous query languages for data streams. In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 177\u2013189. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32925-8_18"},{"key":"11_CR41","unstructured":"Zaniolo, C.: Expressing and supporting efficiently greedy algorithms as locally stratified logic programs. In: Vos, M.D., Eiter, T., Lierler, Y., Toni, F. (eds.) Technical Communications of ICLP. CEUR Workshop Proceedings, vol. 1433. CEUR-WS.org (2015)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17715-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T23:03:23Z","timestamp":1664751803000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17715-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031177149","9783031177156"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17715-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/viam.science.tsu.ge\/clas2022\/ictac\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}