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.
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. - 07. Juli 2024 statt.
Maximilian Heisinger, Simone Heisinger and Martina Seidl Booleguru, the Propositional Polyglot
Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo and Martina Seidl Quantifier Shifting for Quantified Boolean Formulas Revisited
Homepage der Konferenz: https://merz.gitlabpages.inria.fr/2024-ijcar/