{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:25:38Z","timestamp":1768443938405,"version":"3.49.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742088","type":"print"},{"value":"9783031742095","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-74209-5_20","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T06:01:44Z","timestamp":1728626504000},"page":"262-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards Explainable Weather Forecasting Through FastLAS"],"prefix":"10.1007","author":[{"given":"Talissa","family":"Dreossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Law","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Manzato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Tait","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Alviano, M., Trieu, L.L.T., Son, T.C., Balduccini, M., et\u00a0al.: Advancements in xASP, an XAI system for answer set programming. In: CILC (2023)","DOI":"10.4204\/EPTCS.385.4"},{"key":"20_CR2","unstructured":"ARPA\u00a0FVG: Riepilogo anno 2022, chap.\u00a01. SOC OSMER e GRN - Osservatorio Meteorologico Regionale (2023). https:\/\/www.meteo.fvg.it\/pubblicazioni\/meteo-fvg\/2022\/meteo.fvg_2022-riepilogo_it.pdf"},{"key":"20_CR3","unstructured":"Baugh, K.G., Cingillioglu, N., Russo, A.: Neuro-symbolic rule learning in real-world classification tasks. In: Martin, A., et al. (eds.) Proceedings of AAAI-MAKE 2023. CEUR Workshop Proceedings, vol.\u00a03433. CEUR-WS.org (2023)"},{"issue":"4\u20135","key":"20_CR4","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1017\/S1471068414000234","volume":"14","author":"P Cabalar","year":"2014","unstructured":"Cabalar, P., Fandinno, J., Fink, M.: Causal graph justifications of logic programs. Theory Pract. Logic Program. 14(4\u20135), 603\u2013618 (2014)","journal-title":"Theory Pract. Logic Program."},{"key":"20_CR5","unstructured":"Cunnington, D., Cipcigan, F., Ferreira, R.N.B., Booth, J.: Symbolic learning for material discovery. arXiv preprint arXiv:2312.11487 (2023)"},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s10994-022-06278-6","volume":"112","author":"D Cunnington","year":"2023","unstructured":"Cunnington, D., Law, M., Lobo, J., Russo, A.: FFNSL: feed-forward neural-symbolic learner. Mach. Learn. 112(2), 515\u2013569 (2023)","journal-title":"Mach. Learn."},{"key":"20_CR7","unstructured":"Dreossi, T.: Exploring ILASP through logic puzzles modelling. In: CEUR Workshop Proceedings, vol.\u00a03428. CEUR-WS (2023)"},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Drozdov, A., Law, M., Lobo, J., Russo, A., Don, M.W.: Online symbolic learning of policies for explainable security. In: 2021 Third IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA), pp. 269\u2013278 (2021). https:\/\/doi.org\/10.1109\/TPSISA52974.2021.00030","DOI":"10.1109\/TPSISA52974.2021.00030"},{"issue":"1","key":"20_CR9","volume":"3","author":"ML Flora","year":"2024","unstructured":"Flora, M.L., Potvin, C.K., McGovern, A., Handler, S.: A machine learning explainability tutorial for atmospheric sciences. Artif. Intell. Earth Syst. 3(1), e230018 (2024)","journal-title":"Artif. Intell. Earth Syst."},{"key":"20_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol.\u00a088, pp. 1070\u20131080. Cambridge, MA (1988)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Kalnay, E.: Atmospheric Modeling, Data Assimilation and Predictability. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511802270"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Labe, Z.M., Johnson, N., Delworth, T.L.: Changes in United States summer temperatures revealed by explainable neural networks. Authorea Preprints (2023)","DOI":"10.22541\/essoar.168987129.98069596\/v1"},{"key":"20_CR13","unstructured":"Law, M.: Inductive learning of answer set programs. Ph.D. thesis, Imperial College London, UK (2018)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Bertino, E., Broda, K., Lobo, J.: Fastlas: scalable inductive logic programming incorporating domain-specific optimisation criteria. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a034, pp. 2877\u20132885 (2020)","DOI":"10.1609\/aaai.v34i03.5678"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-11558-0_22","volume-title":"Logics in Artificial Intelligence","author":"M Law","year":"2014","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 311\u2013325. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11558-0_22"},{"key":"20_CR16","unstructured":"Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs from noisy examples. arXiv preprint arXiv:1808.08441 (2018)"},{"key":"20_CR17","unstructured":"Law, M., Russo, A., Broda, K.: The ILASP system for inductive learning of answer set programs. arXiv preprint arXiv:2005.00904 (2020)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Li, L., Carver, R., Lopez-Gomez, I., Sha, F., Anderson, J.: Generative emulation of weather forecast ensembles with diffusion models. Sci. Adv. 10(13) (2024)","DOI":"10.1126\/sciadv.adk4489"},{"issue":"5","key":"20_CR19","doi-asserted-by":"publisher","first-page":"1148","DOI":"10.1175\/WAF1041.1","volume":"22","author":"A Manzato","year":"2007","unstructured":"Manzato, A.: A note on the maximum Peirce skill score. Weather Forecast. 22(5), 1148\u20131154 (2007)","journal-title":"Weather Forecast."},{"issue":"10","key":"20_CR20","doi-asserted-by":"publisher","first-page":"2073","DOI":"10.1175\/BAMS-D-16-0123.1","volume":"98","author":"A McGovern","year":"2017","unstructured":"McGovern, A., et al.: Using artificial intelligence to improve real-time decision-making for high-impact weather. Bull. Am. Meteor. Soc. 98(10), 2073\u20132090 (2017)","journal-title":"Bull. Am. Meteor. Soc."},{"issue":"4","key":"20_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"SH Muggleton","year":"1991","unstructured":"Muggleton, S.H.: Inductive logic programming. New Gener. Comput. 8(4), 295\u2013318 (1991). https:\/\/doi.org\/10.1007\/BF03037089","journal-title":"New Gener. Comput."},{"issue":"39","key":"20_CR22","doi-asserted-by":"publisher","first-page":"9684","DOI":"10.1073\/pnas.1810286115","volume":"115","author":"S Rasp","year":"2018","unstructured":"Rasp, S., Pritchard, M.S., Gentine, P.: Deep learning to represent subgrid processes in climate models. Proc. Natl. Acad. Sci. 115(39), 9684\u20139689 (2018)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Toms, B.A., Barnes, E.A., Hurrell, J.W.: Assessing decadal predictability in an earth-system model using explainable neural networks. Geophys. Res. Lett. 48(12), e2021GL093842 (2021)","DOI":"10.1029\/2021GL093842"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Weyn, J.A., Durran, D.R., Caruana, R.: Can machines learn to predict weather? Using deep learning to predict gridded 500-hPa geopotential height from historical weather data. J. Adv. Model. Earth Syst. 11(8), 2680\u20132693 (2019)","DOI":"10.1029\/2019MS001705"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Weyn, J.A., Durran, D.R., Caruana, R.: Improving data-driven global weather prediction using deep convolutional neural networks on a cubed sphere. J. Adv. Model. Earth Syst. 12(9), e2020MS002109 (2020)","DOI":"10.1029\/2020MS002109"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74209-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T17:03:23Z","timestamp":1736615003000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74209-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031742088","9783031742095"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74209-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dallas, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"11 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","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":"lpnmr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2024.demacs.unical.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}