{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:29:33Z","timestamp":1743056973877,"version":"3.40.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031711695"},{"type":"electronic","value":"9783031711701"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-71170-1_1","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:02:14Z","timestamp":1725883334000},"page":"3-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["IID Relaxation by\u00a0Logical Expressivity: A Research Agenda for\u00a0Fitting Logics to\u00a0Neurosymbolic Requirements"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5152-9188","authenticated-orcid":false,"given":"Maarten C.","family":"Stol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6614-6462","authenticated-orcid":false,"given":"Alessandra","family":"Mileo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Ahmed, K., et al.: Semantic loss functions for neuro-symbolic structured prediction (2024)","key":"1_CR1","DOI":"10.3233\/FAIA230154"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/a:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. J. Philos. Log. 27(3), 217\u2013274 (1998). https:\/\/doi.org\/10.1023\/a:1004275029985","journal-title":"J. Philos. Log."},{"unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003). http:\/\/dblp.uni-trier.de\/db\/conf\/dlog\/handbook2003.html","key":"1_CR3"},{"issue":"9","key":"1_CR4","doi-asserted-by":"publisher","first-page":"6528","DOI":"10.1007\/s10489-021-02394-3","volume":"51","author":"M van Bekkum","year":"2021","unstructured":"van Bekkum, M., de Boer, M., van Harmelen, F., Meyer-Vitali, A., Teije, A.: Modular design patterns for hybrid learning and reasoning systems. Appl. Intell. 51(9), 6528\u20136546 (2021). https:\/\/doi.org\/10.1007\/s10489-021-02394-3","journal-title":"Appl. Intell."},{"unstructured":"Besold, T.R., et al.: Neural-symbolic learning and reasoning: a survey and interpretation (2017)","key":"1_CR5"},{"unstructured":"Bishop, C.M.: Pattern Recognition and Machine Learning (Information Science and Statistics). Springer, 1 edn. (2007)","key":"1_CR6"},{"doi-asserted-by":"crossref","unstructured":"Blackburn, P., de\u00a0Rijke, M., Venema, Y.: Modal Logic. No.\u00a053 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press (2001)","key":"1_CR7","DOI":"10.1017\/CBO9781107050884"},{"unstructured":"Bottou, L., Curtis, F.E., Nocedal, J.: Optimization methods for large-scale machine learning (2016). https:\/\/arxiv.org\/abs\/1606.04838","key":"1_CR8"},{"doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny, V., Gottlob, G., Otto, M.: Querying the guarded fragment. Logical Methods Comput. Sci. 10(2) (2014). https:\/\/lmcs.episciences.org\/675","key":"1_CR9","DOI":"10.2168\/LMCS-10(2:3)2014"},{"unstructured":"Casella, G., Berger, R.: Statistical Inference. Duxbury Resource Center (June 2001)","key":"1_CR10"},{"unstructured":"Casteels, W., Hellinckx, P.: Exploiting non-IID. data towards more robust machine learning algorithms (2020)","key":"1_CR11"},{"doi-asserted-by":"crossref","unstructured":"Cate, B., Franceschet, M.: Guarded fragments with constants (2005). https:\/\/link.springer.com\/article\/10.1007\/s10849-005-5787-x","key":"1_CR12","DOI":"10.1007\/s10849-005-5787-x"},{"unstructured":"Ciampiconi, L., Elwood, A., Leonardi, M., Mohamed, A., Rozza, A.: A survey and taxonomy of loss functions in machine learning (2023). https:\/\/arxiv.org\/abs\/2301.05579","key":"1_CR13"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.4230\/DagRep.5.4.18","volume":"5","author":"T Darrell","year":"2015","unstructured":"Darrell, T., Kloft, M., Pontil, M., R\u00e4tsch, G., Rodner, E.: Machine learning with interdependent and non-identically distributed data (Dagstuhl Seminar 15152). Dagstuhl Rep. 5(4), 18\u201355 (2015). https:\/\/doi.org\/10.4230\/DagRep.5.4.18. https:\/\/drops-dev.dagstuhl.de\/entities\/document\/10.4230\/DagRep.5.4.18","journal-title":"Dagstuhl Rep."},{"unstructured":"Dehghani, M., et al.: The benchmark lottery (2021)","key":"1_CR15"},{"unstructured":"Dundar, M., Krishnapuram, B., Bi, J., Rao, R.B.: Learning classifiers when the training data is not IID. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 756\u2013761. IJCAI\u201907, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2007)","key":"1_CR16"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.apal.2004.01.007","volume":"130","author":"M Frick","year":"2004","unstructured":"Frick, M., Grohe, M.: The complexity of first-order and monadic second-order logic revisited. Ann. Pure Appl. Logic 130(1), 3\u201331 (2004). https:\/\/doi.org\/10.1016\/j.apal.2004.01.007","journal-title":"Ann. Pure Appl. Logic"},{"issue":"24","key":"1_CR18","doi-asserted-by":"publisher","first-page":"21811","DOI":"10.1109\/JIOT.2023.3299573","volume":"10","author":"L Fu","year":"2023","unstructured":"Fu, L., Zhang, H., Gao, G., Zhang, M., Liu, X.: Client selection in federated learning: principles, challenges, and opportunities. IEEE Internet Things J. 10(24), 21811\u201321819 (2023). https:\/\/doi.org\/10.1109\/JIOT.2023.3299573","journal-title":"IEEE Internet Things J."},{"unstructured":"d\u2019Avila Garcez, A., Lamb, L.C.: Neurosymbolic AI: The 3rd wave (2020). https:\/\/arxiv.org\/abs\/2012.05876","key":"1_CR19"},{"doi-asserted-by":"publisher","unstructured":"Gutin, G., Yeo, A.: parameterized constraint satisfaction problems: a survey. In: Krokhin, A., Zivny, S. (eds.) The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Follow-Ups, vol.\u00a07, pp. 179\u2013203. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2017). https:\/\/doi.org\/10.4230\/DFU.Vol7.15301.179","key":"1_CR20","DOI":"10.4230\/DFU.Vol7.15301.179"},{"doi-asserted-by":"publisher","unstructured":"Haller, M., Lenz, C., Nachtigall, R., Awaysheh, F., Alawadi, S.: Handling non-IID data in federated learning: an experimental evaluation towards unified metrics (2023). https:\/\/doi.org\/10.1109\/DASC\/PiCom\/CBDCom\/Cy59711.2023.10361408","key":"1_CR21","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/Cy59711.2023.10361408"},{"doi-asserted-by":"crossref","unstructured":"He, Y., Shen, Z., Cui, P.: Towards non-I.I.D. image classification: a dataset and baselines. Pattern Recogn. 110, 107383 (2021)","key":"1_CR22","DOI":"10.1016\/j.patcog.2020.107383"},{"doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F., McGuinness, D.L., Welty, C.A.: OWL: A Description-Logic-Based Ontology Language for the Semantic Web, pp. 458\u2013486 Cambridge University Press (2007)","key":"1_CR23","DOI":"10.1017\/CBO9780511711787.016"},{"unstructured":"Hustadt, U., Schmidt, R.A., Georgieva, L.: A survey of decidable first-order fragments and description logics (2004). http:\/\/citeseer.ist.psu.edu\/hustadt04survey.html","key":"1_CR24"},{"doi-asserted-by":"crossref","unstructured":"Johnson, J., Hariharan, B., van\u00a0der Maaten, L., Fei-Fei, L., Zitnick, C.L., Girshick, R.: CLEVR: a diagnostic dataset for compositional language and elementary visual reasoning (2017). https:\/\/openaccess.thecvf.com\/content_cvpr_2017\/html\/Johnson_CLEVR_A_Diagnostic_CVPR_2017_paper.html","key":"1_CR25","DOI":"10.1109\/CVPR.2017.215"},{"unstructured":"Krspstzsch, M., Simancik, F., Horrocks, I.: A description logic primer (2012). https:\/\/arxiv.org\/abs\/1201.4089","key":"1_CR26"},{"unstructured":"Li, Q., Huang, S., Hong, Y., Chen, Y., Wu, Y.N., Zhu, S.C.: Closed loop neural-symbolic learning via integrating neural perception, grammar parsing, and symbolic reasoning (2020). http:\/\/proceedings.mlr.press\/v119\/li20f.html","key":"1_CR27"},{"unstructured":"Li, Y., Oliva, J.B.: Partially observed exchangeable modeling (2021). https:\/\/arxiv.org\/abs\/2102.06083","key":"1_CR28"},{"unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De\u00a0Raedt, L.: DeepProbLog: Neural probabilistic logic programming. In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Advances in Neural Information Processing Systems. vol.\u00a031. Curran Associates, Inc. (2018). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2018\/file\/dc5d637ed5e62c36ecb73b654b05ba2a-Paper.pdf","key":"1_CR29"},{"unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De\u00a0Raedt, L.: DeepProbLog: neural probabilistic logic programming. In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Adv. Neural Inf. Process. Syst. 31. Curran Associates, Inc. (2018). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2018\/file\/dc5d637ed5e62c36ecb73b654b05ba2a-Paper.pdf","key":"1_CR30"},{"key":"1_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2023.104062","volume":"328","author":"G Marra","year":"2024","unstructured":"Marra, G., Duman\u010di\u0107, S., Manhaeve, R., De Raedt, L.: From statistical relational to neurosymbolic artificial intelligence: a survey. Artif. Intell. 328, 104062 (2024). https:\/\/doi.org\/10.1016\/j.artint.2023.104062. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370223002084","journal-title":"Artif. Intell."},{"unstructured":"Morra, L., et al.: Designing logic tensor networks for visual sudoku puzzle classification. In: d\u2019Avila Garcez, A.S., Besold, T.R., Gori, M., Jim\u00e9nez-Ruiz, E. (eds.) Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023. CEUR Workshop Proceedings, vol.\u00a03432, pp. 223\u2013232. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3432\/paper19.pdf","key":"1_CR32"},{"unstructured":"Mossakowski, T.: Modular design patterns for neural-symbolic integration: refinement and combination (2022). https:\/\/arxiv.org\/abs\/2206.04724","key":"1_CR33"},{"unstructured":"Ott, J., Ledaguenel, A., Hudelot, C., Hartwig, M.: How to think about benchmarking neurosymbolic AI? In: d\u2019Avila Garcez, A.S., Besold, T.R., Gori, M., Jim\u00e9nez-Ruiz, E. (eds.) Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023. CEUR Workshop Proceedings, vol.\u00a03432, pp. 248\u2013254. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3432\/paper22.pdf","key":"1_CR34"},{"doi-asserted-by":"crossref","unstructured":"Pratt-Hartmann, I.: Complexity of the guarded two-variable fragment with counting quantifiers (2006)","key":"1_CR35","DOI":"10.1093\/logcom\/exl034"},{"doi-asserted-by":"publisher","unstructured":"Pratt-Hartmann, I.: Introduction. In: Fragments of First-Order Logic. Oxford University Press (03 2023https:\/\/doi.org\/10.1093\/oso\/9780192867964.003.0001. https:\/\/doi.org\/10.1093\/oso\/9780192867964.003.0001","key":"1_CR36","DOI":"10.1093\/oso\/9780192867964.003.0001"},{"unstructured":"Prince, S.J.: Understanding deep learning. MIT Press (2023)","key":"1_CR37"},{"unstructured":"Rabanser, S., G\u00fcnnemann, S., Lipton, Z.C.: Failing loudly: an empirical study of methods for detecting dataset shift (2018). https:\/\/arxiv.org\/abs\/1810.11953","key":"1_CR38"},{"doi-asserted-by":"publisher","unstructured":"Samer, M., Szeider, S.: Fixed-parameter tractability. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol.\u00a0336, pp. 693\u2013736. IOS Press (2021). https:\/\/doi.org\/10.3233\/FAIA201000, https:\/\/doi.org\/10.3233\/FAIA201000","key":"1_CR39","DOI":"10.3233\/FAIA201000"},{"doi-asserted-by":"crossref","unstructured":"Schlichtkrull, M., Kipf, T.N., Bloem, P., van\u00a0den Berg, R., Titov, I., Welling, M.: Modeling relational data with graph convolutional networks (2017). https:\/\/arxiv.org\/abs\/1703.06103","key":"1_CR40","DOI":"10.1007\/978-3-319-93417-4_38"},{"unstructured":"Schspslkopf, B., et al.: Towards causal representation learning (2021). https:\/\/arxiv.org\/abs\/2102.11107","key":"1_CR41"},{"doi-asserted-by":"publisher","unstructured":"Shi, Y., Li, W., Gao, Y., Cao, L., Shen, D.: Beyond IID: learning to combine non-IID metrics for vision tasks. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 31(1) (2017). https:\/\/doi.org\/10.1609\/aaai.v31i1.10748, https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/10748","key":"1_CR42","DOI":"10.1609\/aaai.v31i1.10748"},{"unstructured":"Steinwart, I., Hush, D., Scovel, C.: Learning from dependent observations (2009). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0047259X08001097","key":"1_CR43"},{"doi-asserted-by":"crossref","unstructured":"Tan, Y., Liu, Y., Long, G., Jiang, J., Lu, Q., Zhang, C.: Federated learning on non-IID graphs via structural knowledge sharing (2023). https:\/\/doi.org\/10.1609\/aaai.v37i8.26187","key":"1_CR44","DOI":"10.1609\/aaai.v37i8.26187"},{"unstructured":"Thompson, N.C., Greenewald, K., Lee, K., Manso, G.F.: The computational limits of deep learning (2020). https:\/\/arxiv.org\/abs\/2007.05558","key":"1_CR45"},{"doi-asserted-by":"crossref","unstructured":"Wang, Q., Ma, Y., Zhao, K., Tian, Y.: A comprehensive survey of loss functions in machine learning (2020). https:\/\/link.springer.com\/article\/10.1007\/s40745-020-00253-5","key":"1_CR46","DOI":"10.1007\/s40745-020-00253-5"},{"unstructured":"Xu, J., Zhang, Z., Friedman, T., Liang, Y., Broeck, G.: A semantic loss function for deep learning with symbolic knowledge (2018). http:\/\/proceedings.mlr.press\/v80\/xu18h.html","key":"1_CR47"},{"doi-asserted-by":"publisher","unstructured":"Zhang, T., Dai, J., Song, W., Zhao, R., Zhang, B.: Oslpnet: a neural network model for street lamp post extraction from street view imagery. Expert Syst. Appl. 231, 120764 (2023). https:\/\/doi.org\/10.1016\/j.eswa.2023.120764. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0957417423012666","key":"1_CR48","DOI":"10.1016\/j.eswa.2023.120764"},{"doi-asserted-by":"publisher","unstructured":"Zhu, H., Xu, J., Liu, S., Jin, Y.: Federated learning on non-IID data: a survey. Neurocomput. 465(C), 371\u2013390 (2021). https:\/\/doi.org\/10.1016\/j.neucom.2021.07.098","key":"1_CR49","DOI":"10.1016\/j.neucom.2021.07.098"}],"container-title":["Lecture Notes in Computer Science","Neural-Symbolic Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71170-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:02:46Z","timestamp":1725883366000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71170-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711695","9783031711701"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71170-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NeSy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural-Symbolic Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nesy2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/nesy2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}