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
Lecture Notes in Computer Science
0302-9743 (ISSN) 1611-3349 (eISSN)
Vol. 15000 LNCSSubject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-032-09008-9_22