Aktuelle Lehrveranstaltungen

Vorlesungen

AISE-FTAIP-B: Frontier Topics in AI and Philosophy
2,00 SWS
N.N.
AISE-Proj-B: Bachelorprojekt KI-Systementwicklung
2,00 SWS
Christoph Benzmüller

Vorlesung und ?bung

V/Ue: DevOps für KI-Systeme (AISE-DO-B)
4,00 SWS
N.N.
V/Ue: Logische Wissensrepr?sentation und Schlie?en (AISE-LKR-B)
4,00 SWS
N.N.

?bungen

AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for Informatik students
2,00 SWS
N.N.
AISE-FTAIP-B: Frontier Topics in AI and Philosophy (Tutorial) for philosophy students
2,00 SWS
N.N.
AISE-Proj-M: Masterprojekt KI-Systementwicklung, AI and Ethics
4,00 SWS
Christoph Benzmüller

Seminare

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

Seminaristischer Unterricht

V: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica (AISE-PLM)
2.00 SWS
N.N.
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.

Projekt

AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)
6,00 SWS