We develop techniques and tools to support automated reasoning.
We investigate and develop symbolic techniques and tools to support automated reasoning. These have applications in artificial intelligence as well as other domains, such as formal verification.
Institute for Symbolic Artificial Intelligence
Address
Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz
Location
Science Park 4, 3rd Floor, Room 342
Office Hours
Mon-Thurs: 9:00 AM - 12:00 PM
Telephone
+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 won the Kepler Award in the category "Best Practice" for the lecture "Logic".
https://www.jku.at/en/news-events/news/detail/news/kepler-awards-2024-verliehen/
“Bilateral AI”: Austrian Science Fund ‘Cluster of Excellence’ Funding for a JKU-Led Project.
Funding of up to €70 million will be available to conduct base-knowledge research into artificial intelligence.
Under the leadership of Sepp Hochreiter, an AI pioneer at the Johannes Kepler University Linz, the new Austrian Science Fund ‘Cluster of Excellence’ supports bringing leading Austrian researchers and scholars in the field of artificial intelligence (AI) together in an effort to develop a new level of AI, so-called “Broad AI”, to, for example, deliver significantly better and broader problem-solving capabilities than ChatGPT.
https://www.jku.at/en/virtual-morphology/news-events/detail/news/bilaterale-ki-projekt-unter-leitung-der-jku-erhaelt-fwf-cluster-of-excellence/
![[Translate to Englisch:] Team Cluster of Excellence JKU](/fileadmin/_processed_/6/d/csm_Cluster_of_Excellence_e7c544e812.jpg)
Two of our papers had been accepted at the IJCAR 2024 (International Joint Conference on Automated Reasoning), in Nancy, France. The conference will take place from 01. - 06. July 2024.
Maximilian Heisinger, Simone Heisinger and 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 and Martina Seidl: "Quantifier Shifting for Quantified Boolean Formulas Revisited" https://general-public-talks.pages.sai.jku.at/ijcar-2024/ncf-full.pdf
Homepage of the conference: https://merz.gitlabpages.inria.fr/2024-ijcar/
Johannes Kepler University Linz
Altenberger Straße 69
4040 Linz, Austria
Go to JKU Homepage
