Project name: Artificial Intelligence and Reasoning
Acronym: AI&Reasoning
ID code: EF15_003/0000466
Supported by: European Union – Ministry of Education, Youth, and Sports CZ (MEYS)
Programme: European Structural and Investment Funds (ESIF)
Operational Programme Research, Development and Education (OP RDE)
Call No. 02_15_003 Excellent Research Teams in Priority Axis 1 OP
Project duration: 06/2017 – 06/2023
Eligible costs: CZK 127,3 mil.
Main investigator: Mgr. Josef Urban, Ph.D.
Coordinator: CIIRC CTU – Czech Technical University in Prague – Czech Institute of Informatics, Robotics, and Cybernetics
Partners: University of West Bohemia
Technical University of Ostrava


The main goal of the project is to build a new research group led by Dr. Josef Urban focused on research in the fields of artificial intelligence and automatic reasoning, in collaboration with strategic international partners Radboud University Nijmegen (Netherlands) and Universität Innsbruck (Austria).

The project focuses on automated translation of mathematical, scientific and technical texts written in a natural language into a form that will be comprehensible for computers.

Main focus:

  • Development of autonomous artificial intelligence systems in large-scale theory automated reasoning; 
  • Verification of advanced systems and technologies;
  • Computer verification of advanced mathematics based on complex formal theories.

The aim of the project is to build a dynamic young research team that will draw on the unique expertise of dr. J. Urbana, holder of the ERC Consolidator Grant. Thanks to this, there will be a transfer of completely new methods of automatic reasoning and their use in the field of control technology, real-time scheduling, agent systems and big data, which the team will be able to develop.
The goal is also to transfer knowledge in the field of international grant management (especially H2020 and ERC) and increase success in grants.
At the same time, it is expected to increase the quality of publication performance, thanks to the implementation of attractive research projects in cooperation with strategic partners. A related goal is therefore the development of strategic international cooperation, in the form of: deepening (expansion of cooperation from the „individual“ level to the institutional level, sharing of best practices at the strategic level, continuity of cooperation even in the period outside of the addressed grants) and targeting (emphasis on the development of selected areas, especially co-ordinator grants, ERC grants, attestation and evaluation policy, etc.).