{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:22:08Z","timestamp":1742912528788,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031504846"},{"type":"electronic","value":"9783031504853"}],"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-50485-3_33","type":"book-chapter","created":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T06:02:28Z","timestamp":1706076148000},"page":"318-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Machine Learning into\u00a0an\u00a0SMT-Based Planning Approach for\u00a0Production Planning in\u00a0Cyber-Physical Production Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1147-8205","authenticated-orcid":false,"given":"Ren\u00e9","family":"Heesch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5023-839X","authenticated-orcid":false,"given":"Jonas","family":"Ehrhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8747-3596","authenticated-orcid":false,"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,25]]},"reference":[{"issue":"1","key":"33_CR1","first-page":"161","volume":"12","author":"R Baheti","year":"2011","unstructured":"Baheti, R., Gill, H.: Cyber-physical systems. Impact control technol 12(1), 161\u2013166 (2011)","journal-title":"Impact control technol"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Balzereit, K., Niggemann, O.: Gradient-based reconfiguration of cyber-physical production systems. In: 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), pp. 125\u2013131 (2021)","DOI":"10.1109\/ICPS49255.2021.9468238"},{"issue":"3","key":"33_CR3","doi-asserted-by":"publisher","first-page":"972","DOI":"10.3390\/s21030972","volume":"21","author":"X Bampoula","year":"2021","unstructured":"Bampoula, X., Siaterlis, G., Nikolakis, N., Alexopoulos, K.: A deep learning model for predictive maintenance in cyber-physical production systems using LSTM autoencoders. Sensors 21(3), 972 (2021)","journal-title":"Sensors"},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1007\/978-3-030-22999-3_58","volume-title":"Advances and Trends in Artificial Intelligence. From Theory to Practice","author":"Arthur Bit-Monnot","year":"2019","unstructured":"Bit-Monnot, Arthur, Leofante, Francesco, Pulina, Luca, Tacchella, Armando: SMT-based Planning for Robots in Smart Factories. In: Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis (eds.) IEA\/AIE 2019. LNCS (LNAI), vol. 11606, pp. 674\u2013686. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22999-3_58"},{"issue":"5","key":"33_CR5","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1017\/S0269888916000229","volume":"31","author":"M Bofill","year":"2016","unstructured":"Bofill, M., Espasa, J., Villaret, M.: The rantanplan planner: system description. Knowl. Eng. Rev. 31(5), 452\u2013464 (2016)","journal-title":"Knowl. Eng. Rev."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Cashmore, M., Fox, M., Long, D., Magazzeni, D.: A compilation of the full PDDL+ language into SMT. In: Workshops at the Thirtieth AAAI Conference on Artificial Intelligence (2016)","DOI":"10.1609\/icaps.v26i1.13755"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R., et al.: Handbook of model checking, vol. 10. Springer (2018)","DOI":"10.1007\/978-3-319-10575-8"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Diedrich, A., Maier, A., Niggemann, O.: Model-based diagnosis of hybrid systems using satisfiability modulo theory. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 33, pp. 1452\u20131459 (2019)","DOI":"10.1609\/aaai.v33i01.33011452"},{"key":"33_CR9","unstructured":"Ghallab, M., et al.: PDDL-the planning domain definition language (1998)"},{"key":"33_CR10","first-page":"597","volume":"32","author":"M Grand","year":"2022","unstructured":"Grand, M., Pellier, D., Fiorino, H.: TempAMLSI: temporal action model learning based on STRIPS translation. Proc. Int. Conf. Autom Planning Sched. 32, 597\u2013605 (2022)","journal-title":"Proc. Int. Conf. Autom Planning Sched."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Grand, M., Pellier, D., Fiorino, H.: Tempamlsi: Temporal action model learning based on strips translation. In: Proceedings of the International Conference on Automated Planning and Scheduling. vol. 32, pp. 597\u2013605 (2022)","DOI":"10.1609\/icaps.v32i1.19847"},{"key":"33_CR12","unstructured":"Hoffmann, J., Gomes, C.P., Selman, B., Kautz, H.A.: Sat encodings of state-space reachability problems in numeric domains. In: IJCAI, pp. 1918\u20131923 (2007)"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Jarvenpaa, E., Siltala, N., Lanz, M.: Formal resource and capability descriptions supporting rapid reconfiguration of assembly systems. In: 2016 IEEE Int. Symp. Assembly Manuf. (ISAM). IEEE (Aug 2016)","DOI":"10.1109\/ISAM.2016.7750724"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Kagermann, H., Helbig, J., Hellinger, A., Wahlster, W.: Recommendations for implementing the strategic initiative INDUSTRIE 4.0: Securing the future of German manufacturing industry; final report of the Industrie 4.0 Working Group. Forschungsunion (2013)","DOI":"10.3390\/sci4030026"},{"key":"33_CR15","unstructured":"Kautz, H., Selman, B.: Planning as Satisfiability. In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 92) (1992)"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"K\u00f6cher, A., et al.: A research agenda for ai planning in the field of flexible production systems. In: 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS), pp. 1\u20138 (2022)","DOI":"10.1109\/ICPS51978.2022.9816866"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Krantz, M., et al.: FliPSi: Generating data for the training of machine learning algorithms for CPPS. In: Annual Conference of the PHM Society. vol. 14 (2022)","DOI":"10.36001\/phmconf.2022.v14i1.3229"},{"issue":"5","key":"33_CR18","doi-asserted-by":"publisher","first-page":"1428","DOI":"10.3390\/s18051428","volume":"18","author":"J Lee","year":"2018","unstructured":"Lee, J., Noh, S.D., Kim, H.J., Kang, Y.S.: Implementation of cyber-physical production systems for quality prediction and operation control in metal casting. Sensors 18(5), 1428 (2018)","journal-title":"Sensors"},{"key":"33_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2019.103301","volume":"87","author":"P Li","year":"2020","unstructured":"Li, P., Niggemann, O.: Non-convex hull based anomaly detection in CPPS. Eng. Appl. Artif. Intell. 87, 103301 (2020)","journal-title":"Eng. Appl. Artif. Intell."},{"key":"33_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.procir.2014.03.115","volume":"17","author":"L Monostori","year":"2014","unstructured":"Monostori, L.: Cyber-physical Production Systems: Roots. Expect. R &D Challenges. Procedia CIRP 17, 9\u201313 (2014)","journal-title":"Expect. R &D Challenges. Procedia CIRP"},{"key":"33_CR21","doi-asserted-by":"crossref","unstructured":"Mordoch, A., Juba, B., Stern, R.: Learning safe numeric action models. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 37, pp. 12079\u201312086 (2023)","DOI":"10.1609\/aaai.v37i10.26424"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Leonardo de Moura","year":"2008","unstructured":"de Moura, Leonardo, Bj\u00f8rner, Nikolaj: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.. R.., Rehof, Jakob (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"33_CR23","unstructured":"Murphy, K.P.: Probabilistic machine learning: an introduction. MIT press (2022)"},{"key":"33_CR24","doi-asserted-by":"crossref","unstructured":"Niggemann, O., Frey, C.: Data-driven anomaly detection in cyber-physical production systems. at - Automatisierungstechnik 63(10), 821\u2013832 (2015)","DOI":"10.1515\/auto-2015-0060"},{"key":"33_CR25","unstructured":"Russell, S.J., Norvig, P.: Artificial intelligence: A modern approach. Pearson Series in Artificial Intelligence, Pearson, Hoboken, fourth edition EDN. (2021)"},{"key":"33_CR26","doi-asserted-by":"crossref","unstructured":"Scala, E., Ramirez, M., Haslum, P., Thi\u00e9baux, S.: Numeric planning with disjunctive global constraints via SMT. In: Twenty-Sixth International Conference on Automated Planning and Scheduling (2016)","DOI":"10.1609\/icaps.v26i1.13766"},{"key":"33_CR27","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-38561-3_4","volume-title":"Knowledge Engineering Tools and Techniques for AI Planning","author":"Volker Strobel","year":"2020","unstructured":"Strobel, Volker, Kirsch, Alexandra: MyPDDL: Tools for Efficiently Creating PDDL Domains and Problems. In: Vallati, Mauro, Kitchin, Diane (eds.) Knowledge Engineering Tools and Techniques for AI Planning, pp. 67\u201390. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-38561-3_4"}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence. ECAI 2023 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-50485-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T06:08:30Z","timestamp":1706076510000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-50485-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031504846","9783031504853"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-50485-3_33","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"25 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krak\u00f3w","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecai2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ecai2023.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair and SMT","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"134","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"51% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.86","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.15","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Presented figures are relevant for the ECAI 2023 workshops","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}