{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T08:06:02Z","timestamp":1761552362383,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":5,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032090072","type":"print"},{"value":"9783032090089","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>My vision is that we align the AI developments with technological, scientific, interdisciplinary, and societal discussions about what is it we want and do not want. If we cannot agree, let us talk, hoping that, with help of this dialogue, we are better equipped for the task. And let us work hard on the alignment of trust and trustworthiness.<\/jats:p>\n                  <jats:p>My personal AI mission: To contribute to methods where we use AI in the context of program development, such that the resulting programs are trustworthy even if we do not rely on the trustworthiness of the used AI. Neuro-symbolic methods should help us with that mission.<\/jats:p>","DOI":"10.1007\/978-3-032-09008-9_22","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:20Z","timestamp":1761551780000},"page":"189-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Let\u2019s Talk AI with Computer Science Expert Wolfgang Ahrendt"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Ahrendt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Gurov, D., Johansson, M., R\u00fcmmer, P.: TriCo: Triple copiloting of implementation, specification and tests. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA 2022). LNCS, vol 13701. Springer (2022).\u00a0https:\/\/doi.org\/10.1007\/978-3-031-19849-6_11","DOI":"10.1007\/978-3-031-19849-6_11"},{"key":"22_CR2","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Havelund, K.: AI assisted programming. In: Steffen, B. (ed.) Bridging the Gap Between AI and Reality (AISoLA 2023). LNCS, vol. 14380. Springer (2024).\u00a0https:\/\/doi.org\/10.1007\/978-3-031-75434-0_7","DOI":"10.1007\/978-3-031-75434-0_7"},{"key":"22_CR3","unstructured":"Marcus, G.: The next decade in AI: four steps towards robust Artificial Intelligence (https:\/\/arxiv.org\/abs\/2002.06177)"},{"key":"22_CR4","unstructured":"Mosier, K.L., Skitka, L.J.: Human decision makers and automated decision aids: made for each other? In: Automation and Human Performance: Theory and Applications. Erlbaum (1996)"},{"key":"22_CR5","unstructured":"Perry, N., Srivastava, M., Kumar, D., Boneh, D.: Do users write more insecure code with AI assistants? (https:\/\/arxiv.org\/abs\/2211.03622)"}],"container-title":["Lecture Notes in Computer Science","Let\u2019s Talk AI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09008-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:24Z","timestamp":1761551784000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09008-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783032090072","9783032090089"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09008-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}