Aktuelle Lehrveranstaltungen

ACHTUNG: AISE-Proj-B und AISE-Sem-B finden starten nicht am 20.3. !!!

AISE-Proj-B findet vom 20-22. April 2023 statt; weitere Details in Kürze.

AISE-Sem-B findet als Blockseminar zu späteren Termin statt; weitere Details in Kürze.

Vorlesungen

AISE-Auto: Automation of First- and Higher-Order Logic
2,00 SWS
Christoph Benzmüller
AISE-ETH: Ethics and Epistemology of AI
2,00 SWS
Christoph Benzmüller
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
2,00 SWS
Christoph Benzmüller , Daniel Kirchner
(Blockveranstaltung: Anfang Juni; Gastaufenthalt von Edward Zalta (Stanford U, Philosophy) an der Uni Bamberg wird von der Bayerischen BaCaTeC Initiative (http://www.bacatec.de/en/hightech-agenda.html) gefördert.
AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
2,00 SWS
David Fuenmayor , Daniel Kirchner

Übungen

AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe 2)
2,00 SWS
AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
2,00 SWS
David Fuenmayor
AISE-ETH: Ethics and Epistemology of AI Gruppe 1
2,00 SWS
Christoph Benzmüller
AISE-ETH: Ethics and Epistemology of AI Gruppe 2
2,00 SWS
Rosae Martin Peña
AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI & Ethics
4,00 SWS
Christoph Benzmüller , Andrea Vestrucci
Blockveranstaltung nach Vereinbarung

Seminare

AISE-Sem-B: AI and the Ethics of the Smart City
2,00 SWS
Andrea Vestrucci
3 ECTS in Informatik, 4 SWS/6ECTS in Philosophy
AISE-Sem-B: Isabelle for the working logician
2,00 SWS
David Fuenmayor , Daniel Kirchner
AISE-Sem-M: Masterseminar zu KI-Systementwicklung
2,00 SWS
Christoph Benzmüller