Current Courses

Vorlesungen

AISE-FTAIP-B: Frontier Topics in AI and Philosophy
2,00 SWS
Andrea Vestrucci
VL: DevOps für KI-Systeme (AISE-DO-B)
4,00 SWS
David Fuenmayor , Christoph Benzmüller , Max Wisniewski

Vorlesung und Übung

V: Logische Wissensrepräsentation und Schließen (AISE-LKR-B)
4,00 SWS
Christoph Benzmüller

Übungen

AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for Informatik students
2,00 SWS
Andrea Vestrucci
AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for philosophy students
2,00 SWS
Andrea Vestrucci

Übung/Tutorium

Ue/T: DevOps für KI-Systeme - Übung/Tutorium (AISE-DO-B)
2 SWS
David Fuenmayor , Christoph Benzmüller , Max Wisniewski
Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
SWS
Christoph Benzmüller
Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
SWS
Christoph Benzmüller
Ue/T: Logische Wissensrepräsentation und Schließen - Übung/Tutorium (AISE-LKR-B)
SWS
Christoph Benzmüller

Seminare

AISE-Sem-M: Masterseminar zu KI-Systementwicklung
2,00 SWS
Christoph Benzmüller , Andrea Vestrucci
S: Bachelorseminar Computational Philosophy (AISE-SemCP-B)
2,00 SWS
Andrea Vestrucci , Christoph Benzmüller

Seminaristischer Unterricht

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.

Tutorien

Ue/T: DevOps für KI-Systeme - Übung/Tutorium (AISE-DO-B)
2 SWS
David Fuenmayor , Christoph Benzmüller , Max Wisniewski

Projekt

AISE-Proj-B: Bachelorprojekt KI-Systementwicklung
2,00 SWS
Christoph Benzmüller , David Fuenmayor
AISE-Proj-M: Masterprojekt KI-Systementwicklung, AI and Ethics
4,00 SWS
Christoph Benzmüller , Andrea Vestrucci
AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)
6,00 SWS
Christoph Benzmüller , David Fuenmayor