{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T07:00:01Z","timestamp":1780729201531,"version":"3.54.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032279965","type":"print"},{"value":"9783032279972","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-27997-2_22","type":"book-chapter","created":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:10:29Z","timestamp":1780726229000},"page":"194-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["FIDES: A Neuro-Symbolic Conversational Tool for\u00a0Faithful Production Process Intelligence"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Casciani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabrizio","family":"Italia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Livia","family":"Lestingi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matteo","family":"Marinacci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Marrella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Matta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,7]]},"reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MCI.2017.2670420","volume":"12","author":"G Acampora","year":"2017","unstructured":"Acampora, G., Vitiello, A., Stefano, B.N.D., van der Aalst, W.M.P., G\u00fcnther, C.W., Verbeek, E.: IEEE 1849: the XES standard. IEEE Comput. Intell. Mag. 12(2), 4\u20138 (2017)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Agostinelli, S., et al.: A context-aware framework to support decision-making in production planning. In: CAiSE 2024, pp. 248\u2013264 (2024)","DOI":"10.1007\/978-3-031-61057-8_15"},{"key":"22_CR3","unstructured":"Arora, D., Kambhampati, S.: Learning and leveraging verifiers to improve planning capabilities of pre-trained language models. CoRR abs\/2305.17077 (2023)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Augusto, A., Carmona, J., Verbeek, E.: Advanced process discovery techniques. In: Process Mining Handbook, LNBIP, vol. 448, pp. 76\u2013107. Springer (2022)","DOI":"10.1007\/978-3-031-08848-3_3"},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0304-3975(01)00215-8","volume":"292","author":"D Beauquier","year":"2003","unstructured":"Beauquier, D.: On probabilistic timed automata. Theoret. Comput. Sci. 292(1), 65\u201384 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Casciani, A., Lestingi, L., Marrella, A., Matta, A.: A conversational framework for faithful multi-perspective analysis of production systems. In: CAiSE 2025. LNCS, vol. 15701, pp. 163\u2013181. Springer (2025)","DOI":"10.1007\/978-3-031-94569-4_10"},{"issue":"3","key":"22_CR7","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1080\/00207543.2023.2175175","volume":"62","author":"N Frigerio","year":"2024","unstructured":"Frigerio, N., Tan, B., Matta, A.: Simultaneous control of multiple machines for energy efficiency: a simulation-based approach. Int. J. Prod. Res. 62(3), 933\u2013948 (2024)","journal-title":"Int. J. Prod. Res."},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1613\/jair.1705","volume":"26","author":"M Helmert","year":"2006","unstructured":"Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191\u2013246 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"22_CR9","volume-title":"Thinking, Fast and Slow","author":"D Kahneman","year":"2012","unstructured":"Kahneman, D.: Thinking, Fast and Slow. Penguin, London (2012)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"44650","DOI":"10.1109\/ACCESS.2025.3549529","volume":"13","author":"Z Keskin","year":"2025","unstructured":"Keskin, Z., et al.: LLM-enhanced human-machine interaction for adaptive decision-making in dynamic manufacturing process environments. IEEE Access 13, 44650\u201344661 (2025)","journal-title":"IEEE Access"},{"issue":"1\u20132","key":"22_CR11","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Lestingi, L., Sbrolli, C., Scarmozzino, P., Romeo, G., Bersani, M.M., Rossi, M.: Formal modeling and verification of multi-robot interactive scenarios in service settings. In: FormaliSE@ICSE 2022, pp. 80\u201390. ACM (2022)","DOI":"10.1145\/3524482.3527653"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Liu, M.X., Liu, F., Fiannaca, A.J., Koo, T., Dixon, L., Terry, M., Cai, C.J.: \u201cWe Need Structured Output\": towards User-centered Constraints on Large Language Model Output. In: Ext. Abstracts of the CHI Conf. on Human Factors in Computing Systems, pp. 10:1\u201310:9. ACM (2024)","DOI":"10.1145\/3613905.3650756"},{"key":"22_CR14","unstructured":"Mankins, J.C.: Technology readiness levels (1995)"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.jmsy.2020.05.007","volume":"56","author":"E Negri","year":"2020","unstructured":"Negri, E., Berardi, S., Fumagalli, L., Macchi, M.: MES-integrated digital twin frameworks. J. Manuf. Syst. 56, 58\u201371 (2020)","journal-title":"J. Manuf. Syst."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Porra, J., Hirschheim, R., Land, F., Lyytinen, K.: Seventy years of information systems development methodologies from early business computing to the agile era: a two-part history. Part 1: From pre to early ISD methodology era: the emergence of ISD methodologies and their golden era (1880\u20131980). J. Inf. Technol. 40(4), 441\u2013469 (2025)","DOI":"10.1177\/02683962251360778"},{"key":"22_CR17","unstructured":"Stechly, K., Valmeekam, K., Kambhampati, S.: On the self-verification limitations of large language models on reasoning and planning tasks. In: ICLR 2025. OpenReview.net (2025)"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.jmsy.2024.02.015","volume":"74","author":"Y Sun","year":"2024","unstructured":"Sun, Y., Zhang, Q., Bao, J., Lu, Y., Liu, S.: Empowering digital twins with large language models for global temporal feature learning. J. Manuf. Syst. 74, 83\u201399 (2024)","journal-title":"J. Manuf. Syst."},{"key":"22_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.matdes.2024.113506","volume":"248","author":"Y Sun","year":"2024","unstructured":"Sun, Y., et al.: Development of an intelligent design and simulation aid system for heat treatment processes based on LLM. Mater. Des. 248, 113506 (2024)","journal-title":"Mater. Des."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Tantakoun, M., Muise, C., Zhu, X.: LLMs as planning formalizers: a survey for leveraging large language models to construct automated planning models. In: Findings of the ACL 2025, pp. 25167\u201325188. ACL (2025)","DOI":"10.18653\/v1\/2025.findings-acl.1291"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Wang, Z., Qin, H.: Intelligent industrial production process automatic regulation system based on LLM agents. In: AIEA 2024, pp. 133\u2013137. IEEE (2024)","DOI":"10.1109\/AIEA62095.2024.10692701"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Xia, Y., Dittler, D., Jazdi, N., Chen, H., Weyrich, M.: LLM experiments with simulation: large language model multi-agent system for simulation model parametrization in digital twins. In: ETFA 2024, pp. 1\u20134 (2024)","DOI":"10.1109\/ETFA61755.2024.10710900"}],"container-title":["Lecture Notes in Business Information Processing","Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-27997-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:10:32Z","timestamp":1780726232000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-27997-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032279965","9783032279972"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-27997-2_22","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"7 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Verona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/caise26.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}