Current Courses
- AISE-FTAIP-B: Frontier Topics in AI and Philosophy
- 2,00 SWS
- Andrea Vestrucci
- Details in UnivISzur Lehrveranstaltung AISE-FTAIP-B: Frontier Topics in AI and Philosophy
- VL: DevOps für KI-Systeme (AISE-DO-B)
- 4,00 SWS
- David Fuenmayor , Christoph Benzmüller , Max Wisniewski
- Details in UnivISzur Lehrveranstaltung VL: DevOps für KI-Systeme (AISE-DO-B)
- V: Logische Wissensrepräsentation und Schließen (AISE-LKR-B)
- 4,00 SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung V: Logische Wissensrepräsentation und Schließen (AISE-LKR-B)
- AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for Informatik students
- 2,00 SWS
- Andrea Vestrucci
- Details in UnivISzur Lehrveranstaltung AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for Informatik students
- AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for philosophy students
- 2,00 SWS
- Andrea Vestrucci
- Details in UnivISzur Lehrveranstaltung AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for philosophy students
- Ue/T: DevOps für KI-Systeme - Übung/Tutorium (AISE-DO-B)
- 2 SWS
- David Fuenmayor , Christoph Benzmüller , Max Wisniewski
- Details in UnivISzur Lehrveranstaltung Ue/T: DevOps für KI-Systeme - Übung/Tutorium (AISE-DO-B)
- Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
- SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
- Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
- SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
- Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
- SWS
- Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
- AISE-Sem-M: Masterseminar zu KI-Systementwicklung
- 2,00 SWS
- Christoph Benzmüller , Andrea Vestrucci
- Details in UnivISzur Lehrveranstaltung AISE-Sem-M: Masterseminar zu KI-Systementwicklung
- S: Bachelorseminar Computational Philosophy (AISE-SemCP-B)
- 2,00 SWS
- Andrea Vestrucci , Christoph Benzmüller
- Details in UnivISzur Lehrveranstaltung S: Bachelorseminar Computational Philosophy (AISE-SemCP-B)
- V: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica (AISE-PLM)
- 2,00 SWS
- Christoph Benzmüller , Daniel Kirchner , Edward N. Zalta
- The course will be by the 2025 Johann-von-Spix Guestprofessor Dr. Edward Zalta (Stanford), Dr. Daniel Kirchner and Prof. Dr. Christoph Benzmüller. It will be held as a block course from Novemver 27 to December 5 in combination also with a workshop and the 2025 Kurt-Gödel-Essay-Award ceremony event at U Bamberg (on December 5). Topics for follow-up thesis projects will be offered to successful participants.
- Details in UnivISzur Lehrveranstaltung V: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica (AISE-PLM)
- Ue/T: DevOps für KI-Systeme - Übung/Tutorium (AISE-DO-B)
- 2 SWS
- David Fuenmayor , Christoph Benzmüller , Max Wisniewski
- Details in UnivISzur Lehrveranstaltung Ue/T: DevOps für KI-Systeme - Übung/Tutorium (AISE-DO-B)
- AISE-Proj-B: Bachelorprojekt KI-Systementwicklung
- 2,00 SWS
- Christoph Benzmüller , David Fuenmayor
- Details in UnivISzur Lehrveranstaltung AISE-Proj-B: Bachelorprojekt KI-Systementwicklung
- AISE-Proj-M: Masterprojekt KI-Systementwicklung, AI and Ethics
- 4,00 SWS
- Christoph Benzmüller , Andrea Vestrucci
- Details in UnivISzur Lehrveranstaltung AISE-Proj-M: Masterprojekt KI-Systementwicklung, AI and Ethics
- AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)
- 6,00 SWS
- Christoph Benzmüller , David Fuenmayor
- Details in UnivISzur Lehrveranstaltung AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)