{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:21:16Z","timestamp":1760055676293,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662715666","type":"print"},{"value":"9783662715673","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:00:00Z","timestamp":1760054400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:00:00Z","timestamp":1760054400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-662-71567-3_11","type":"book-chapter","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:21:28Z","timestamp":1759990888000},"page":"211-226","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Symbolische Kontrolle f\u00fcr subsymbolische K\u00fcnstliche Intelligenz?"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Benzm\u00fcller","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,10]]},"reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1111\/zygo.12830","volume":"57","author":"C Benzm\u00fcller","year":"2022","unstructured":"Benzm\u00fcller, C. (2022). Symbolic AI and G\u00f6del\u2019s ontological argument. Zygon(r), 57(4), 953\u2013962. https:\/\/doi.org\/10.1111\/zygo.12830","journal-title":"Zygon(r)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3658-44248-4_11","volume-title":"K\u00fcnstliche Intelligenz f\u00fcr Lehrkr\u00e4fte \u2013 Eine fachliche Einf\u00fchrung mit didaktischen Hinweisen","author":"C Benzm\u00fcller","year":"2024","unstructured":"Benzm\u00fcller, C. (2024). Logikbasierte Wissensverarbeitung. In U. Furbach et al. (Hrsg.), K\u00fcnstliche Intelligenz f\u00fcr Lehrkr\u00e4fte \u2013 Eine fachliche Einf\u00fchrung mit didaktischen Hinweisen (S. 139\u2013162). Springer Vieweg. https:\/\/doi.org\/10.1007\/978-3658-44248-4_11"},{"key":"11_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-03058285-2_20","volume-title":"KI 2020: Advances in Artificial Intelligence \u2013 43rd German Conference on Artificial Intelligence, Proceedings. Bamberg, Deutschland. 21.\u201325. September 2020","author":"C Benzm\u00fcller","year":"2020","unstructured":"Benzm\u00fcller, C., & Lomfeld, B. (2020a). Reasonable Machines: A Research Manifesto. In U. Schmid et al. (Hrsg.), KI 2020: Advances in Artificial Intelligence \u2013 43rd German Conference on Artificial Intelligence, Proceedings. Bamberg, Deutschland. 21.\u201325. September 2020 (Lecture Notes in Artificial Intelligence, Bd. 12352, S. 251\u2013258. ISBN: 978-3-030-30178-1). Springer. https:\/\/doi.org\/10.1007\/978-3-03058285-2_20"},{"key":"11_CR4","unstructured":"Benzm\u00fcller, C., & Lomfeld, B. (2020b). Tr\u00e4umen vern\u00fcnftige Maschinen von Gr\u00fcnden? Eine reale Utopie. In S. Ammon et al. (Hrsg.), Verantwortung KI \u2013 K\u00fcnstliche Intelligenz und gesellschaftliche Folgen (Berlin-Brandenburgische Akademie der Wissenschaften). https:\/\/www.bbaw.de\/filesbbaw\/user_upload\/publikationen\/BBAW_Verantwortung-KI-3-2020_PDF-A-1b.pdf. Zugegriffen am 18.07.2025."},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Benzm\u00fcller, C., & Scott, D. S. (2025). Notes on G\u00f6del\u2019s and Scott\u2019s variants of the ontological argument. Monatshefte f\u00fcr Mathematik. In Print. https:\/\/doi.org\/10.1007\/s00605-025-02078-x","DOI":"10.1007\/s00605-025-02078-x"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"103348","DOI":"10.1016\/j.artint.2020.103348","volume":"287","author":"C Benzm\u00fcller","year":"2020","unstructured":"Benzm\u00fcller, C., et al. (2020). Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence, 287, 103348. https:\/\/doi.org\/10.1016\/j.artint.2020.103348. ISSN: 0004-3702.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"11_CR7","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/S00287-022-01456-1","volume":"45","author":"W Bibel","year":"2022","unstructured":"Bibel, W. (2022). Komputer kreiert Wissenschaft. Informatik Spektrum, 45(6), 356\u2013365. https:\/\/doi.org\/10.1007\/S00287-022-01456-1","journal-title":"Informatik Spektrum"},{"key":"11_CR8","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-031-61716-4_4","volume-title":"Logics and type systems in theory and practice \u2013 Essays dedicated to herman geuvers on the occasion of his 60th birthday","author":"L Blaauwbroek","year":"2024","unstructured":"Blaauwbroek, L., et al. (2024). Learning guided automated reasoning: A brief survey. In V. Capretta et al. (Hrsg.), Logics and type systems in theory and practice \u2013 Essays dedicated to herman geuvers on the occasion of his 60th birthday (Lecture notes in computer science, Bd. 14560, S. 54\u201383). Springer. https:\/\/doi.org\/10.1007\/978-3-031-61716-4_4"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10817-022-09623-5","volume":"66","author":"J Brakensiek","year":"2022","unstructured":"Brakensiek, J., et al. (2022). The resolution of Keller\u2019s conjecture. Journal of Automated Reasoning, 66(3), 277\u2013300. https:\/\/doi.org\/10.1007\/s10817-022-09623-5","journal-title":"Journal of Automated Reasoning"},{"key":"11_CR09","unstructured":"Buchberger, B. (1995). https:\/\/www.researchgate.net\/figure\/Mathematical-Creativity-Spiral-Buchberger-1995_fig4_221562312. Zugegriffen am 18.07.2025."},{"key":"11_CR10","unstructured":"European Commission. (2021). The AI Act, COM(2021)206 final. https:\/\/artificialintelligenceact.eu\/the-act\/. Zugegriffen am 18.07.2025."},{"key":"11_CR11","doi-asserted-by":"publisher","unstructured":"Fulton, N., & Platzer, A. (2018). Safe reinforcement learning via formal methods: Toward safe control through proof and learning. In S. McIlraith, & K. Q Weinberger (Hrsg.), Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18). New Orleans, Louisiana, USA, 02.\u201307. Februar 2018 (S. 6485\u20136492). AAAI Press. https:\/\/doi.org\/10.1609\/AAAI.V32I1.12107","DOI":"10.1609\/AAAI.V32I1.12107"},{"key":"11_CR12","volume-title":"Handbook of deontic logic and normative systems","author":"D Gabbay","year":"2013","unstructured":"Gabbay, D., et al. (2013). Handbook of deontic logic and normative systems (Bd. 1). College Publications."},{"key":"11_CR13","first-page":"1382","volume-title":"Notices of the American Mathematical Society","author":"G Gonthier","year":"2008","unstructured":"Gonthier, G. (2008). Formal proof \u2013 The four-color theorem. In Notices of the American Mathematical Society (Bd. 55.11, S. 1382\u20131393) http:\/\/www.ams.org\/notices\/200811\/tx081101382p.pdf"},{"key":"11_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-396342_14","volume-title":"Interactive theorem proving","author":"G Gonthier","year":"2013","unstructured":"Gonthier, G., et al. (2013). A machine-checked proof of the odd order theorem. In S. Blazy et al. (Hrsg.), Interactive theorem proving (Lecture notes in computer science, Bd. 7998, S. 163\u2013179). Springer. https:\/\/doi.org\/10.1007\/978-3-642-396342_14"},{"key":"11_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/fmp.2017.1","volume":"5","author":"T Hales","year":"2017","unstructured":"Hales, T., et al. (2017). A formal proof of the Kepler conjecture. Forum of Mathematics, Pi, 5, e2. https:\/\/doi.org\/10.1017\/fmp.2017.1","journal-title":"Forum of Mathematics, Pi"},{"key":"11_CR16","first-page":"6598","volume-title":"AAAI","author":"MJH Heule","year":"2018","unstructured":"Heule, M. J. H. (2018). Schur Number Five. In AAAI (S. 6598\u20136606). AAAI Press. https:\/\/dl.acm.org\/doi\/pdf\/10.5555\/3504035.3504843"},{"issue":"8","key":"11_CR17","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/3107239","volume":"60","author":"MJH Heule","year":"2017","unstructured":"Heule, M. J. H., & Kullmann, O. (2017). The science of brute force. Communications of the ACM, 60(8), 70\u201379. https:\/\/doi.org\/10.1145\/3107239. ISSN: 0001-0782.","journal-title":"Communications of the ACM"},{"key":"11_CR18","unstructured":"High-Level Expert Group on AI. (2020). Assessment List for Trustworthy Artificial Intelligence (ALTAI) for self-assessment. https:\/\/digitalstrategy.ec.europa.eu\/en\/library\/assessment-list-trustworthyartificial-intelligence-altai-self-assessment. Zugegriffen am 18.07.2025."},{"key":"11_CR19","volume-title":"Thinking, fast and slow","author":"D Kahneman","year":"2011","unstructured":"Kahneman, D. (2011). Thinking, fast and slow. Allen Lane."},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"Lenat, D., & Marcus, G. (2023). Getting from generative AI to trustworthy AI: What LLMs might learn from Cyc. arXiv, 2308.04445. https:\/\/doi.org\/10.48550\/arXiv.2308.04445","DOI":"10.48550\/arXiv.2308.04445"},{"issue":"10","key":"11_CR21","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/3613250","volume":"66","author":"G Marcus","year":"2023","unstructured":"Marcus, G. (2023a). Controlling AI. Communications of the ACM, 66(10), 6\u20137. https:\/\/doi.org\/10.1145\/3613250","journal-title":"Communications of the ACM"},{"issue":"4","key":"11_CR22","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/3583078","volume":"66","author":"G Marcus","year":"2023","unstructured":"Marcus, G. (2023b). Hoping for the best as AI evolves. Communications of the ACM, 66(4), 6\u20137. https:\/\/doi.org\/10.1145\/3583078","journal-title":"Communications of the ACM"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"104062","DOI":"10.1016\/J.ARTINT.2023","volume":"328","author":"G Marra","year":"2024","unstructured":"Marra, G., et al. (2024). From statistical relational to neurosymbolic artificial intelligence: A survey. Artificial intelligence, 328, 104062. https:\/\/doi.org\/10.1016\/J.ARTINT.2023","journal-title":"Artificial intelligence"},{"key":"11_CR24","doi-asserted-by":"publisher","unstructured":"Ols\u00e1k, M., et al. (2020). Property Invariant Embedding for Automated Reasoning. In G. De Giacomo, et al. (Hrsg.), ECAI 2020 \u2013 24th European Conference on Artificial Intelligence, Santiago de Compostela, Spanien, 29. August \u2013 08. September 2020. Incl. 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (Frontiers in artificial intelligence and applications, Bd. 325, S. 1395\u20131402). IOS Press. https:\/\/doi.org\/10.3233\/FAIA200244.","DOI":"10.3233\/FAIA200244"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s13194-02400569-6","volume":"14","author":"M Pantsar","year":"2024","unstructured":"Pantsar, M. (2024). Theorem proving in artificial neural networks: New frontiers in mathematical AI. European Journal of Philosophy of Science, 14, 4. https:\/\/doi.org\/10.1007\/s13194-02400569-6","journal-title":"European Journal of Philosophy of Science"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"2406.11563","DOI":"10.48550\/ARXIV.2406.11563","volume":"arXiv","author":"A Platzer","year":"2024","unstructured":"Platzer, A. (2024). Intersymbolic AI: Interlinking symbolic AI and subsymbolic AI. CoRR abs\/2406.11563, arXiv, 2406.11563. https:\/\/doi.org\/10.48550\/ARXIV.2406.11563","journal-title":"CoRR abs\/2406.11563"},{"key":"11_CR27","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-319-40229-1_23","volume-title":"Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, 27. Juni \u2013 02. Juli 2016, Proceedings","author":"S Schulz","year":"2016","unstructured":"Schulz, S., & M\u00f6hrmann, M. (2016). Performance of clause selection heuristics for saturation-based theorem proving. In N. Olivetti & A. Tiwari (Hrsg.), Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, 27. Juni \u2013 02. Juli 2016, Proceedings (Lecture notes in computer science, Bd. 9706, S. 330\u2013345). Springer. https:\/\/doi.org\/10.1007\/978-3-319-40229-1_23"},{"key":"11_CR28","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-53518-6_1","volume-title":"Intelligent computer mathematics 13th international conference, CICM 2020, Proceedings. Bertinoro, Italien, 26.\u201331. Juli 2020","author":"C Szegedy","year":"2020","unstructured":"Szegedy, C. (2020). A Promising Path Towards Autoformalization and General Artificial Intelligence. In C. Benzm\u00fcller & B. R. Miller (Hrsg.), Intelligent computer mathematics 13th international conference, CICM 2020, Proceedings. Bertinoro, Italien, 26.\u201331. Juli 2020 (Lecture notes in computer science, Bd. 12236, S. 3\u201320). Springer. https:\/\/doi.org\/10.1007\/978-3-030-53518-6_1"},{"key":"11_CR29","unstructured":"Tao, T. (2024). Machine assisted proof. https:\/\/terrytao.wordpress.com\/wp-content\/uploads\/2024\/03\/machine-assisted-proof-notices.pdf. Zugegriffen am 18.07.2025."},{"issue":"7995","key":"11_CR30","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1038\/S41586-023-06747-5","volume":"625","author":"TH Trinh","year":"2024","unstructured":"Trinh, T. H., et al. (2024). Solving olympiad geometry without human demonstrations. Nature, 625(7995), 476\u2013482. https:\/\/doi.org\/10.1038\/S41586-023-06747-5","journal-title":"Nature"},{"key":"11_CR31","unstructured":"Wu, Y., et al. (2022). Autoformalization with large language models. In S. Koyejo et al. (Hrsg.), Advances in neural information processing systems 35: Annual conference on neural information processing systems 2022, NeurIPS 2022, New Orleans, LA, USA, 28. November \u2013 09. Dezember 2022. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2022\/file\/d0c6bc641a56bebee9d985b937307367-PaperConference.pdf. Zugegriffen am 18.07.2025."}],"container-title":["K\u00fcnstliche Intelligenz und Wir"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-71567-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:21:35Z","timestamp":1759990895000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-71567-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,10]]},"ISBN":["9783662715666","9783662715673"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-71567-3_11","relation":{},"subject":[],"published":{"date-parts":[[2025,10,10]]},"assertion":[{"value":"10 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}