Universität Bamberg
Suche öffnen
Sie befinden sich hier:

Fakultät Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)

  1.  Otto-Friedrich-Universität Bamberg
  2. Fakultäten
  3. Wirtschaftsinformatik und Angewandte Informatik
  4. Professuren und Lehrstühle
  5. Angewandte Informatik
  6. Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
  7. News
  8. LogiKEy-Kurs bei der ESSLLI 2026 in Prag
Die LogiKEy-Methodik: Anwendungen, domänenspezifische Sprachen und Objektlogiken werden in klassischer Logik höherer Stufe (HOL) eingebettet

Die LogiKEy-Methodik (Grafik: Benzmüller et al., Artificial Intelligence 2020)

LogiKEy-Kurs bei der ESSLLI 2026 in Prag

Christoph Benzmüller und Luca Pasetto (Universität Luxemburg) haben bei der 37. European Summer School in Logic, Language and Information (ESSLLI 2026) den Kurs „Experimenting with the LogiKEy Framework & Methodology“ gehalten. Alle Materialien sind frei verfügbar.

Vom 10. bis 14. August 2026 fand an der Karls-Universität Prag die 37. European Summer School in Logic, Language and Information (ESSLLI 2026) statt. Christoph Benzmüller und Luca Pasetto (Universität Luxemburg) haben dort im Track „Logic and Computation“ den einwöchigen Einführungskurs „Experimenting with the LogiKEy Framework & Methodology“ angeboten.

Der Kurs führte in die LogiKEy-Methodik – die semantische Einbettung von Objektlogiken in klassische Logik höherer Stufe (HOL) – und in das Arbeiten mit dem Beweisassistenten Isabelle/HOL ein. Anwendungen wurden in drei Bereichen gezeigt: normatives Schließen (deontische Logiken), Wissensrepräsentation (Agenten, Handlungen, Rechte) sowie Computational Metaphysics (Gödels ontologisches Argument).

Alle Kursmaterialien (Folien und Isabelle/HOL-Quelldateien) sind frei verfügbar unter logikey.org/CoursesAndTutorials/2026-ESSLLI. Weitere Informationen zur Summer School: 2026.esslli.eu.