Let’s Talk AI with Computer Science Expert Wolfgang Ahrendt
Book chapter, 2026
artificiell intelligens
Symbolic methods
Trust and trustworthiness
Program development
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 189-195
Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-032-09008-9_22