{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T23:44:41Z","timestamp":1762472681948,"version":"build-2065373602"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T00:00:00Z","timestamp":1737072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T00:00:00Z","timestamp":1737072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia,Portugal","award":["UIDP\/00408\/2020"],"award-info":[{"award-number":["UIDP\/00408\/2020"]}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UIDB\/00408\/2020"],"award-info":[{"award-number":["UIDB\/00408\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2025,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Many modern-day systems rely on information that is constantly arriving, and they need to make decisions based on it \u2013 a problem known as\n                    <jats:italic>continuous query answering<\/jats:italic>\n                    . In many situations, these systems can benefit from identifying possible outcomes that are consistent with the data available so far. Such scenarios are called\n                    <jats:italic>hypothetical answers<\/jats:italic>\n                    , and previous work has defined them precisely and shown how they can be updated in step with the arrival of additional input. Most existing formalisms assume that data always arrives instantaneously, which is not realistic. In this work, we relax this problem by allowing data to arrive later, and potentially out of order. By revisiting the underlying intuitions in previous work, we develop a more general framework that supports communication delays. The interaction between communication delays and negation poses some challenging problems, which we address using fixpoint theory. We show that the relevant fixpoints can be computed in finite time by a carefully designed algorithm.\n                  <\/jats:p>","DOI":"10.1007\/s10472-025-09968-8","type":"journal-article","created":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T06:17:14Z","timestamp":1737094634000},"page":"727-758","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Can\u2019t you answer while you wait?"],"prefix":"10.1007","volume":"93","author":[{"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"given":"Gra\u00e7a","family":"Gaspar","sequence":"additional","affiliation":[]},{"given":"Isabel","family":"Nunes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,17]]},"reference":[{"key":"9968_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of databases. Addison-Wesley (1995)"},{"issue":"11","key":"9968_CR2","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.14778\/2536222.2536229","volume":"6","author":"T Akidau","year":"2013","unstructured":"Akidau, T., Balikov, A., Bekiroglu, K., Chernyak, S., Haberman, J., Lax, R., McVeety, S., Mills, D., Nordstrom, P., Whittle, S.: Millwheel: Fault-tolerant stream processing at internet scale. Proc. VLDB Endow. 6(11), 1033\u20131044 (2013)","journal-title":"Proc. VLDB Endow."},{"key":"9968_CR3","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Pereira, L.M.: Reasoning with logic programming. Lecture Notes in Computer Science, vol.\u00a01111. Springer (1996)","DOI":"10.1007\/3-540-61488-5"},{"key":"9968_CR4","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."},{"issue":"1","key":"9968_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: Complexity and expressiveness. Inf. Comput. 104(1), 35\u201377 (1993)","journal-title":"Inf. Comput."},{"key":"9968_CR6","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.) Procs. PODS. pp. 1\u201316. ACM (2002)","DOI":"10.1145\/543613.543615"},{"key":"9968_CR7","doi-asserted-by":"crossref","unstructured":"Barbieri, D.F., Braga, D., Ceri, S., Valle, E.D., Grossniklaus, M.: Incremental reasoning on streams and rich background knowledge. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) Procs. ESWC. LNCS, vol.\u00a06088, pp. 1\u201315. Springer (2010)","DOI":"10.1007\/978-3-642-13486-9_1"},{"key":"9968_CR8","unstructured":"Barendregt, H.P.: The lambda calculus \u2013 its syntax and semantics, Studies in logic and the foundations of mathematics, vol.\u00a0103. North-Holland (1985)"},{"key":"9968_CR9","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: Answer update for rule-based stream reasoning. In: Yang, Q., Wooldridge, M.J. (eds.) Procs. IJCAI. pp. 2741\u20132747. AAAI Press (2015)"},{"key":"9968_CR10","first-page":"1431","volume-title":"29th AAAI Conference on Artificial Intelligence, AAAI 2015","author":"H Beck","year":"2015","unstructured":"Beck, H., Dao-Tran, M., Eiter, T., Fink, M.: LARS: A logic-based framework for analyzing reasoning over streams. In: Bonet, B., Koenig, S. (eds.) 29th AAAI Conference on Artificial Intelligence, AAAI 2015, pp. 1431\u20131438. AAAI Press, Austin, USA (2015)"},{"key":"9968_CR11","doi-asserted-by":"crossref","unstructured":"Ben-Ari, M.: Mathematical Logic for Computer Science. Springer, 3rd edn. (2012)","DOI":"10.1007\/978-1-4471-4129-7"},{"key":"9968_CR12","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1613\/jair.1.11229","volume":"62","author":"S Brandt","year":"2018","unstructured":"Brandt, S., Kalayci, E.G., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Querying log data with metric temporal logic. J. Artif. Intell. Res. 62, 829\u2013877 (2018)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"9968_CR13","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":"9968_CR14","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Imielinski, T.: Temporal deductive databases and infinite objects. In: Edmondson-Yurkanan, C., Yannakakis, M. (eds.) Procs. PODS. pp. 61\u201373. ACM (1988)","DOI":"10.1145\/308386.308416"},{"key":"9968_CR15","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Hypothetical answers to continuous queries over data streams. In: Procs. AAAI. pp. 2798\u20132805. AAAI Press (2020)","DOI":"10.1609\/aaai.v34i03.5668"},{"key":"9968_CR16","doi-asserted-by":"publisher","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Can you answer while you wait? In: Varzinczak, I. (ed.) Procs. FoIKS. Lecture Notes in Computer Science, vol. 13388, pp. 111\u2013129. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-11321-5_7","DOI":"10.1007\/978-3-031-11321-5_7"},{"key":"9968_CR17","doi-asserted-by":"publisher","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Reconciling communication delays and negation. In: Seidl, H., Liu, Z., Pasareanu, C.S. (eds.) Procs. ICTAC. Lecture Notes in Computer Science, vol. 13572, pp. 151\u2013169. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-17715-6_11","DOI":"10.1007\/978-3-031-17715-6_11"},{"key":"9968_CR18","doi-asserted-by":"publisher","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Hypothetical answers to continuous queries over data streams. ACM Trans. Comput. Log 25(4), 1\u201340 (2024). https:\/\/doi.org\/10.1145\/3688845.","DOI":"10.1145\/3688845"},{"key":"9968_CR19","doi-asserted-by":"publisher","unstructured":"Cruz-Filipe, L., Kostopoulou, S., Montesi, F., Vistrup, J.: $$\\mu $$xl: Explainable lead generation with microservices and hypothetical answers. In: Papadopoulos, G.A., Rademacher, F., Soldani, J. (eds.) Procs. ESOCC. Lecture Notes in Computer Science, vol. 14183, pp. 3\u201318. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-46235-1_1","DOI":"10.1007\/978-3-031-46235-1_1"},{"issue":"3","key":"9968_CR20","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":"9968_CR21","doi-asserted-by":"crossref","unstructured":"Dao-Tran, M., Eiter, T.: Streaming multi-context systems. In: Sierra, C. (ed.) Procs. IJCAI. pp. 1000\u20131007. ijcai.org (2017)","DOI":"10.24963\/ijcai.2017\/139"},{"issue":"1\u20132","key":"9968_CR22","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":"9968_CR23","doi-asserted-by":"crossref","unstructured":"Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. LNCS, vol.\u00a02407, pp. 402\u2013436. Springer (2002)","DOI":"10.1007\/3-540-45628-7_16"},{"issue":"1","key":"9968_CR24","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(02)00293-X","volume":"143","author":"M Denecker","year":"2003","unstructured":"Denecker, M., Marek, V.W., Truszczynski, M.: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1), 79\u2013122 (2003). https:\/\/doi.org\/10.1016\/S0004-3702(02)00293-X","journal-title":"Artif. Intell."},{"key":"9968_CR25","unstructured":"Dung, P.M.: Negations as hypotheses: An abductive foundation for logic programming. In: Furukawa, K. (ed.) Procs. ICLP. pp. 3\u201317. MIT Press (1991)"},{"key":"9968_CR26","unstructured":"Fitting, M.: Bilattices are nice things. In: Bolander, T., Hendricks, V., Pedersen, S.A. (eds.) Self-Reference. CSLI Publications (2006)"},{"issue":"1","key":"9968_CR27","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":"9968_CR28","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"},{"issue":"3","key":"9968_CR29","first-page":"252","volume":"35","author":"H Guo","year":"2009","unstructured":"Guo, H., Gupta, G.: Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. 35(3), 252\u2013265 (2009)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"9968_CR30","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.: Maintaining views incrementally. In: Buneman, P., Jajodia, S. (eds.) Procs. SIGMOD. pp. 157\u2013166. ACM Press (1993)","DOI":"10.1145\/170035.170066"},{"key":"9968_CR31","first-page":"1871","volume-title":"32nd AAAI Conference on Artificial Intelligence, AAAI 2018","author":"P Hu","year":"2018","unstructured":"Hu, P., Motik, B., Horrocks, I.: Optimised maintenance of Datalog materialisations. In: McIlraith, S.A., Weinberger, K.Q. (eds.) 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, pp. 1871\u20131879. AAAI Press, New Orleans, LA, USA (2018)"},{"issue":"3","key":"9968_CR32","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":"9968_CR33","doi-asserted-by":"publisher","first-page":"154300","DOI":"10.1109\/ACCESS.2019.2946884","volume":"7","author":"H Isah","year":"2019","unstructured":"Isah, H., Abughofa, T., Mahfuz, S., Ajerla, D., Zulkernine, F.H., Khan, S.: A survey of distributed data stream processing frameworks. IEEE Access 7, 154300\u2013154316 (2019)","journal-title":"IEEE Access"},{"issue":"3","key":"9968_CR34","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320083.320088","volume":"4","author":"W Lipski Jr","year":"1979","unstructured":"Lipski, W., Jr.: On semantic issues connected with incomplete information databases. ACM Trans. Database Syst. 4(3), 262\u2013296 (1979)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"9968_CR35","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/0890-5401(91)90059-B","volume":"90","author":"PG Kolaitis","year":"1991","unstructured":"Kolaitis, P.G.: The expressive power of stratified programs. Inf. Comput. 90(1), 50\u201366 (1991)","journal-title":"Inf. Comput."},{"issue":"4","key":"9968_CR36","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"key":"9968_CR37","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.) Procs. SIGMOD. pp. 1275\u20131286. ACM (2014)","DOI":"10.1145\/2588555.2612176"},{"key":"9968_CR38","doi-asserted-by":"crossref","unstructured":"de\u00a0Leng, D., Heintz, F.: Approximate stream reasoning with metric temporal logic under uncertainty. In: AAAI2019 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Honolulu, Hawaii, USA. AAAI Press, pp. 2760\u20132767 (2019)","DOI":"10.1609\/aaai.v33i01.33012760"},{"issue":"1","key":"9968_CR39","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":"9968_CR40","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: Procs. ICDCS. p.\u00a067. IEEE Computer Society (2007)","DOI":"10.1109\/ICDCSW.2007.35"},{"key":"9968_CR41","doi-asserted-by":"crossref","unstructured":"Libkin, L.: Incomplete data: what went wrong, and how to fix it. In: Hull, R., Grohe, M. (eds.) Procs. PODS. pp. 1\u201313. ACM (2014)","DOI":"10.1145\/2594538.2594561"},{"key":"9968_CR42","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer (1984)","DOI":"10.1007\/978-3-642-96826-6"},{"key":"9968_CR43","unstructured":"Meadows, B.L., Langley, P., Emery, M.J.: Seeing beyond shadows: Incremental abductive reasoning for plan understanding. In: Procs. PLAN. AAAI Workshops, vol. WS-13-13. AAAI (2013)"},{"key":"9968_CR44","first-page":"1560","volume-title":"29th AAAI Conference on Artificial Intelligence, AAAI 2015","author":"B Motik","year":"2015","unstructured":"Motik, B., Nenov, Y., Piro, R.E.F., Horrocks, I.: Incremental update of Datalog materialisation: the backward\/forward algorithm. In: Bonet, B., Koenig, S. (eds.) 29th AAAI Conference on Artificial Intelligence, AAAI 2015, pp. 1560\u20131568. AAAI Press, Austin, TX, USA (2015)"},{"issue":"2","key":"9968_CR45","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.jlamp.2014.11.006","volume":"84","author":"N Nishida","year":"2015","unstructured":"Nishida, N., Vidal, G.: A framework for computing finite SLD trees. J. Log. Algebraic Methods Program. 84(2), 197\u2013217 (2015)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"9968_CR46","doi-asserted-by":"crossref","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.) Procs. KI. LNCS, vol.\u00a08736, pp. 183\u2013194. Springer (2014)","DOI":"10.1007\/978-3-319-11206-0_18"},{"key":"9968_CR47","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.) Procs. SIGMOD. pp. 561\u2013576. ACM (2015)","DOI":"10.1145\/2723372.2750544"},{"key":"9968_CR48","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) Procs. Intervale. pp. 191\u2013233. Topics in information systems, Springer (1984)","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"9968_CR49","first-page":"1941","volume-title":"32nd AAAI Conference on Artificial Intelligence, AAAI 2018","author":"A Ronca","year":"2018","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, pp. 1941\u20131948. AAAI Press, New Orleans, LA, USA (2018)"},{"issue":"4","key":"9968_CR50","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 Record 34(4), 42\u201347 (2005)","journal-title":"SIGMOD Record"},{"issue":"6","key":"9968_CR51","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":"9968_CR52","doi-asserted-by":"publisher","unstructured":"Vardi, M.Y.: The complexity of relational query languages (extended abstract). In: Lewis, H.R., Simons, B.B., Burkhard, W.A., Landweber, L.H. (eds.) Procs. STOC14. pp. 137\u2013146. ACM (1982). https:\/\/doi.org\/10.1145\/800070.802186","DOI":"10.1145\/800070.802186"},{"key":"9968_CR53","doi-asserted-by":"crossref","unstructured":"Walega, P.A., Kaminski, M., Grau, B.C.: Reasoning over streaming data in Metric Temporal Datalog. In: AAAI2019 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Honolulu, Hawaii, USA. AAAI Press, pp. 3092\u20133099 (2019)","DOI":"10.1609\/aaai.v33i01.33013092"},{"key":"9968_CR54","doi-asserted-by":"crossref","unstructured":"Zaniolo, C.: Logical foundations of continuous query languages for data streams. In: Barcel\u00f3, P., Pichler, R. (eds.) Procs. Datalog 2.0. LNCS, vol.\u00a07494, pp. 177\u2013189. Springer (2012)","DOI":"10.1007\/978-3-642-32925-8_18"},{"key":"9968_CR55","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.\u00a01433. CEUR-WS.org (2015)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-025-09968-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-025-09968-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-025-09968-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T23:41:59Z","timestamp":1762472519000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-025-09968-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,17]]},"references-count":55,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["9968"],"URL":"https:\/\/doi.org\/10.1007\/s10472-025-09968-8","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2025,1,17]]},"assertion":[{"value":"8 January 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}