Zur JKU Startseite
Institut für Symbolic Artificial Intelligence
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

News&Events

News

Antrittsvorlesung

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

  • Datum: Montag, 4. Oktober 2021, 16:00 Uhr
  • Ort:…
News

Workshop: Beyond Satisfiability

Beyond Satisfiability Workshop am Simons Institute for the Theory of Computation, Berkeley