Current Courses
- AISE-Auto: Automation of First- and Higher-Order Logic
- 2,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of First- and Higher-Order Logic
- AISE-ETH: Ethics and Epistemology of AI
- 2,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI
- 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.
- Details in UnivISzur Lehrveranstaltung AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
- AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
- 2,00 SWS
- David Fuenmayor , Daniel Kirchner
- Details in UnivISzur Lehrveranstaltung AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
- AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe 2)
- 2,00 SWS
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe 2)
- AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
- 2,00 SWS
- David Fuenmayor
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
- AISE-ETH: Ethics and Epistemology of AI Gruppe 1
- 2,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI Gruppe 1
- AISE-ETH: Ethics and Epistemology of AI Gruppe 2
- 2,00 SWS
- Rosae Martin Peña
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI Gruppe 2
- AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI & Ethics
- 4,00 SWS
- Christoph Benzmüller , Andrea Vestrucci
- Blockveranstaltung nach Vereinbarung
- Details in UnivISzur Lehrveranstaltung AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI & Ethics
- 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
- Details in UnivISzur Lehrveranstaltung AISE-Sem-B: AI and the Ethics of the Smart City
- AISE-Sem-B: Isabelle for the working logician
- 2,00 SWS
- David Fuenmayor , Daniel Kirchner
- Details in UnivISzur Lehrveranstaltung AISE-Sem-B: Isabelle for the working logician
- AISE-Sem-M: Masterseminar zu KI-Systementwicklung
- 2,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-Sem-M: Masterseminar zu KI-Systementwicklung