Let’s Talk AI with Computer Science Expert Wolfgang Ahrendt
Book chapter, 2026
Symbolic methods
Program development
artificiell intelligens
Trust and trustworthiness
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Barbara Steffen
METAFrame Technologies
Let’s Talk AI. Lecture Notes in Computer Science
Vol. 15000 LNCS
Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-032-09008-9_22