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 Feldern, wie etwa der formalen Verifikation, ihre Anwendung.
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
sai@jku.at
Univ.-Prof.in Dr.in Martina Seidl, A.Univ.-Prof. Dr. Wolfgang Schreiner und Assoz. Univ.-Prof. Dr. Wolfgang Windsteiger gewinnen den Kepler Award in der Kategorie "Best Practice" für die Vorlesung Logic.
https://www.jku.at/news-events/news/detail/news/kepler-awards-2024-verliehen/
„Bilaterale KI“: Projekt unter Leitung der JKU erhält FWF Cluster of Excellence.
Bis zu 70 Millionen Euro stehen für Grundlagenforschung zur Künstlichen Intelligenz zur Verfügung.
Der neue FWF Cluster of Excellence unter der Leitung von Sepp Hochreiter, KI-Pionier der Johannes Kepler Universität Linz, vereint die wichtigsten österreichischen Wissenschaftler*innen aus dem Bereich Künstliche Intelligenz (KI) und möchte eine neue KI-Ebene entwickeln – eine so genannte „Broad AI“. Diese soll deutlich bessere und breitere Problemlösungsfähigkeiten bieten, als sie beispielsweise ChatGPT hat.
https://www.jku.at/news-events/news/detail/news/bilaterale-ki-projekt-unter-leitung-der-jku-erhaelt-fwf-cluster-of-excellence/
Zwei unserer Paper wurden auf der IJCAR 2024 (International Joint Conference on Automated Reasoning) in Nancy, Frankreich, akzeptiert. Die Konferenz findet von 01. - 06. Juli 2024 statt.
Maximilian Heisinger, Simone Heisinger und Martina Seidl: "Booleguru, the Propositional Polyglot" https://link.springer.com/chapter/10.1007/978-3-031-63498-7_19
Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo und Martina Seidl: "Quantifier Shifting for Quantified Boolean Formulas Revisited" https://general-public-talks.pages.sai.jku.at/ijcar-2024/ncf-full.pdf
Homepage der Konferenz: https://merz.gitlabpages.inria.fr/2024-ijcar/
Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz, Österreich
Zur JKU Startseite
