Project Details
Description
The project “Bilateral AI” aims at lifting artificial intelligence (AI) to the next level. Current AI systems are in a sense narrow. They center on a specific application or task such as object or speech recognition. Our project will combine two of the most important types of AI which have been developed separately so far: symbolic and sub-symbolic AI. While symbolic AI works with clearly defined logical rules, sub-symbolic AI (such as ChatGPT) is based on training a machine with the help of large datasets to create intelligent behavior. This integration, resulting in a Broad AI, is intended to mirror something that humans do naturally: the simultaneous use of cognition and reasoning skills.
| Status | Active |
|---|---|
| Effective start/end date | 01.10.2024 → 30.09.2029 |
Collaborative partners
- Johannes Kepler University Linz (lead)
- IST Institute of Science and Technology Austria (Project partner)
- Graz University of Technology (Project partner)
- Vienna University of Economics and Business (Project partner)
- University of Klagenfurt (Project partner)
- Vienna University of Technology (Project partner)
Fields of science
- 101013 Mathematical logic
- 603109 Logic
- 102 Computer Sciences
- 102031 Theoretical computer science
- 102030 Semantic technologies
- 102011 Formal languages
- 102022 Software development
- 102001 Artificial intelligence
- 101019 Stochastics
- 103029 Statistical physics
- 101018 Statistics
- 101017 Game theory
- 101016 Optimisation
- 202017 Embedded systems
- 101015 Operations research
- 101014 Numerical mathematics
- 101029 Mathematical statistics
- 101028 Mathematical modelling
- 101026 Time series analysis
- 101024 Probability theory
- 102025 Distributed systems
- 202037 Signal processing
- 202036 Sensor systems
- 202035 Robotics
- 102003 Image processing
- 102006 Computer supported cooperative work (CSCW)
- 102032 Computational intelligence
- 102004 Bioinformatics
- 101027 Dynamical systems
- 102013 Human-computer interaction
- 305907 Medical statistics
- 202002 Audiovisual media
- 101004 Biomathematics
- 502007 E-commerce
- 305905 Medical informatics
- 505002 Data protection
- 101031 Approximation theory
- 102010 Database systems
- 102035 Data science
- 102033 Data mining
- 506002 E-government
- 305901 Computer-aided diagnosis and therapy
- 102019 Machine learning
- 106007 Biostatistics
- 102018 Artificial neural networks
- 106005 Bioinformatics
- 102028 Knowledge engineering
- 202007 Computer integrated manufacturing (CIM)
- 102016 IT security
- 102015 Information systems
- 509018 Knowledge management
- 102014 Information design
- 202006 Computer hardware
JKU Focus areas
- Digital Transformation
- Sustainable Development: Responsible Technologies and Management
-
(Semantic) Feature Model Differences with (Q)SAT
Heisinger, S., Heisinger, M. & Seidl, M., 17 Jun 2025, SLE '25: Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineerin. 1 ed. p. 189-198 10 p. (SLE 2025 - Proceedings of18th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: STAF 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Anders, M., Bogaerts, B., Bogø, B., Gontier, A., Koops, W., McCreesh, C., Myreen, M. O., Nordström, J., Oertel, A., Rebola Pardo, A. & Tan, Y. K., 2025, The 40th Annual AAAI Conference on Artificial Intelligence. 1 ed.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas
Simader, M., Rebola Pardo, A. & Seidl, M., 14 May 2025, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. 1 ed. ACM, p. 1043-1050 8 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access
Activities
-
Formal Verification of AI-based Code Generation in Model-Driven Development
Aichernig, B. (Speaker) & Lorber, F. (Speaker)
04 Nov 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Time to Learn and Check - Enhancing Timed Automata Learning with Model Checking
Aichernig, B. (Speaker) & Lorber, F. (Speaker)
02 Nov 2025Activity: Talk or presentation › Invited talk › science-to-science
-
External Examiner for the PhD Thesis of Paul Kogel on "Learning Mealy Machines with Local Timers" supervised by Sabine Glesner
Aichernig, B. (Expert)
02 Oct 2025Activity: Expert activities › Expert activity for dissertations and habilitations
Datasets
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset