UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >> Lehrstuhl für AI Systems Engineering (KI-Systementwicklung) >>

  AISE-Sem-M: Masterseminar zu KI-Systementwicklung

Dozent/in
Prof. Dr. Christoph Benzmüller

Angaben
Seminar
Rein Präsenz
2,00 SWS
Gaststudierendenverzeichnis
Zeit und Ort: Mi 17:00 - 19:00, WE5/03.004
vom 17.10.2022 bis zum 10.2.2023

Englischsprachige Informationen:
Title:
AISE-Sem-M

Contents
This seminar covers selected topics from across the spectrum of interests of the AISE research group. These research activities lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language and cover topics such as:
  • mechanisation of normative reasoning and explanation in computers to develop trusted AI systems
  • hybrid AI systems: automated reasoning, machine learning and agent-based architectures
  • AI & ethics, AI & law
  • rational argumentation
  • universal logical reasoning
  • logico-pluralistic knowledge representation and reasoning methodologis and infrastructures
  • applications: e.g. in computational metaphysics (e.g., Gödel's ontological argument), machine ethics, mathematical foundations (e.g., category theory)
  • automated theorem proving (e.g. Leo theorem provers) and model finding
  • interactive/automated theorem proving in research and education


Participating students will be introduced to current research questions and papers from the AISE group's spectrum of interest. Students will explore, prepare and present a selected topic and acquire in depth knowledge about the involved research questions and challenges. Ideally, this work will lead to a subsequent topic for a thesis project. Presentations of research topics related to a running thesis project are also welcome. Students will learn to assess and review research papers and to prepare and present own papers.

In addition to the contributions by participating students there will presentations by PhD students and guest researchers.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 15

Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:

Link zur eigenständigen Verwendung

Link zur Verwendung in Typo3

UnivIS ist ein Produkt der Config eG, Buckenhof