Project Description

Projects in Automated Reasoning:

Advances in Artificial Intelligence are used increasingly in the development of autonomous systems, such as robots, self-driving vehicles, or personal assistants. For such systems, it is not only important to be able to process information from sensors or manipulate with physical objects, but also to be able to make rational decisions. This process necessarily involves reasoning -- the ability to draw logical conclusions of the existing knowledge possessed by the system. To be useful in practice, reasoning process must be able to address a general class of problems, guarantee correctness of answers, and be as fast as possible.

Project Scope:

The main focus of the projects "Automated Reasoning" and "Advanced Automated Reasoning" is development and implementation of algorithms that can be used to solve different types of reasoning problems completely automatically, i.e., without the user assistance. Such algorithms are usually integral part of tools, such as database systems, ontology reasoners, or automated theorem provers. The main focus of the projects are:

  • Understanding of automated reasoning algorithms 
  • Arguing why algorithms are correct
  • Designing of a suitable implementation
  • Development of optimisation techniques
  • Testing for correctness
  • Evaluation of efficiency on synthetic and real data
  • Empirical comparison with existing approaches

The students can work independently or in small teams (up to 3 students) to develop concepts and solutions for the proposed project topic. The evaluation of the project involves making a presentation of the work and writing a small report on the findings. 


The project can be conducted as short (8 ECTS) or as long (2x8=16 ECTS) project by combining both project modules. The decision is made by the participants at the beginning of the first project module. 

Initial Meeting

A first meeting for prospective participants with a presentation of possible topics takes place on Wednesday April 18th, 2018 at 12 noon in room O27/441.


Dr. Yevgeny Kazakov