|
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >>
|
Lehrstuhl für KI-Systementwicklung
|
AISE-Auto: Automation of First- and Higher-Order Logic
V; Rein Präsenz; 2,00 SWS; Do, 10:00 - 12:00, WE5/02.020
|
Benzmüller, Ch.
|
|
AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe 2)
Ü; Rein Präsenz; 2,00 SWS; Do, 16:00 - 18:00, WE5/01.003
|
N.N.
|
|
AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
Ü; Rein Präsenz; 2,00 SWS; Do, 14:00 - 16:00, WE5/05.003
|
Fuenmayor, D.
|
|
AISE-ETH: Ethics and Epistemology of AI
V; Rein Präsenz; 2,00 SWS; Mi, 12:00 - 14:00, WE5/01.003; Einzeltermin am 19.4.2023, 12:00 - 14:00, Online-Meeting; Blockveranstaltung 2.5.2023-5.5.2023 Di-Fr
|
Benzmüller, Ch.
|
|
AISE-ETH: Ethics and Epistemology of AI Gruppe 1
Ü; Rein Präsenz; 2,00 SWS; Mi, 14:00 - 16:00, WE5/04.003; ab 9.5.2023
|
Benzmüller, Ch.
|
|
AISE-ETH: Ethics and Epistemology of AI Gruppe 2
Ü; Rein Präsenz; 2,00 SWS; Mi, 14:00 - 16:00, WE5/02.005
|
Martin Peña, R.
|
|
AISE-PLM: Computational Metaphysics - Mechaninzing Principia Logico-Metaphysica
V; Rein Präsenz; 2,00 SWS; (Blockveranstaltung: Anfang Juni; Gastaufenthalt von Edward Zalta (Stanford U, Philosophy) an der Uni Bamberg wird von der Bayerischen BaCaTeC Initiative (http://www.bacatec.de/en/hightech-agenda.html) gefördert.; Einzeltermin am 1.6.2023, 13:00 - 17:45, U5/03.27; Einzeltermin am 2.6.2023, 9:00 - 17:15, U5/03.27; Einzeltermin am 3.6.2023, 9:00 - 17:45, U5/03.27
|
Benzmüller, Ch.
Kirchner, D.
|
|
AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
V; Rein Präsenz; 2,00 SWS; Blockveranstaltung 20.3.2023-6.4.2023 Mo-Fr, 8:00 - 16:00, WE5/02.020
|
Fuenmayor, D.
Kirchner, D.
|
|
AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI & Ethics
Ü; Rein Präsenz; 4,00 SWS; Blockveranstaltung nach Vereinbarung; Zeit und Raum n.V.
|
Benzmüller, Ch.
Vestrucci, A.
|
|
AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)
6.00 SWS; ECTS: 15; Zeit und Raum n.V.
|
Benzmüller, Ch.
|
|
AISE-Sem-B: AI and the Ethics of the Smart City
S; Rein Präsenz; 2,00 SWS; 3 ECTS in Informatik, 4 SWS/6ECTS in Philosophy; Blockveranstaltung 26.5.2023-30.6.2023 Fr, 10:00 - 16:00, WE5/02.020; Blockveranstaltung 7.7.2023-21.7.2023 Fr, 10:00 - 16:00, WE5/04.003; ab 26.5.2023
|
Vestrucci, A.
|
|
AISE-Sem-B: Isabelle for the working logician
S; Rein Präsenz; 2,00 SWS; Blockveranstaltung 20.4.2023-22.4.2023 Do, Fr, Sa, 10:00 - 18:00, Raum n.V.; Die Veranstaltung findet im Sitzungsraum WE5/01.047 statt.
|
Fuenmayor, D.
Kirchner, D.
|
|
AISE-Sem-M: Masterseminar zu KI-Systementwicklung
S; Rein Präsenz; 2,00 SWS; Mi, 17:00 - 19:00, WE5/05.003
|
Benzmüller, Ch.
|
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|