Willkommen am Institut für Symbolic Artificial Intelligence.

Wir entwicklen Techniken und Werkzeuge für automatisches Schließen.

Wir erforschen und entwickeln symbolische Techniken und Werkzeuge zum automatischen Schließen. Diese finden in der künstlichen Intelligenz, aber auch in anderen Felder wie der formalen Verifikation ihre Anwendung.

Das Institut befindet sich gerade in seiner Aufbauphase.

Wir haben noch offene PhD- und Postdoc Stellen. Bei Interesse bitte bei Prof. Martina Seidl melden.

Institut für Symbolic Artificial Intelligence

Adresse

Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz

Standort

Science Park 4, 3. Stock, Raum 342

Öffnungszeiten Sekretariat

Mo-Do: 09:00 - 12:00 Uhr

Telefon

+43 732 2468 5751

E-Mail

sai@jku.at

News 20.09.2021

Antrittsvorlesung

Univ.-Prof.in Dr.in Martina Seidl
Symbolic Artificial Intelligence: Intelligenz durch formale Logik

  • Datum: Montag, 4. Oktober 2021, 16:00 Uhr
  • Ort: Johannes Kepler Universität Linz, Altenberger Straße 69, 4040 Linz
  • Raum: Festsaal, Uni-Center, 1. Stock

Es wird bis 24. September 2021 um Anmeldung gebeten.

Weitere Informationen