Current Courses
- AISE-Auto: Automation of Logical Reasoning
- 2,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of Logical Reasoning
- 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
- 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-SemSC-B: Bachelorseminar Smart City
- 2,00 SWS
- N.N.
- Details in UnivISzur Lehrveranstaltung AISE-SemSC-B: Bachelorseminar Smart City
- AISE-Auto: Automation of Logical Reasoning (Tutorial)
- 2,00 SWS
- David Fuenmayor
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of Logical Reasoning (Tutorial)
- AISE-Auto: Automation of Logical Reasoning (?bung)
- 2,00 SWS
- David Fuenmayor
- Details in UnivISzur Lehrveranstaltung AISE-Auto: Automation of Logical Reasoning (?bung)
- 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
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-ETH: Ethics and Epistemology of AI Gruppe 2
- AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics
- 4.00 SWS
- Christoph Benzmüller
- kein Raum n?tig
- Details in UnivISzur Lehrveranstaltung AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics
- AISE-Sem-M: Masterseminar zu KI-Systementwicklung
- 2,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung AISE-Sem-M: Masterseminar zu KI-Systementwicklung