AISE-Auto: Automation of Logical Reasoning
AISE-Auto: Automation of Logical Reasoning (Tutorial)
AISE-Auto: Automation of Logical Reasoning (Übung)
AISE-ETH: Ethics and Epistemology of AI
AISE-ETH: Ethics and Epistemology of AI Gruppe 1
AISE-ETH: Ethics and Epistemology of AI Gruppe 2
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI und Ethics
AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)
AISE-Sem-B: AI Ethics in the Smart City
AISE-Sem-M: Masterseminar zu KI-Systementwicklung