About the group

KRaKEn is a research group led by Professor Antoni Ligęza. It is composed mainly of scientists working in the Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, as well as doctoral students and team collaborators. Between 2009 and 2019, the members of the group cooperated within other teams and projects. The current composition and research profile of KRaKEn was established in 2019, after some of the group’s members returned to Poland upon completion of their doctorates and post-doctoral project abroad.

Research profile

  • Graph-based Knowledge Representation, Knowledge Graphs, Semantic Technologies
  • Logical and Mathematical Foundations of Artificial Intelligence
  • Modeling of Business Processes using BPMN and DMN Standards
  • Constraint and Logic Programming
  • Explainable and Interpretable Artificial Intelligence


Antoni Ligęza, Professor
Krzysztof Kluza, PhDKrystian Jobczyk, PhDWeronika T. Adrian, PhDPiotr Wiśniewski, PhD
Mateusz Ślażyński, MScPaweł Jemioło, MSc

Research projects

Members of KRaKEn took part in a number of national, international and foreign projects, including:

  • 2007-2009: HeKatE NCN Grant no. NCN N516 024 32/2878 – A. Ligęza (project leader), K. Kluza, W. T. Adrian
  • 2009-2015: INDECT EU FP7 Project FP7-218086, FP7:Collaboration/Security – A. Ligęza (group leader), K. Kluza, W. T. Adrian
  • 2010-2012: BIMLOQ MNiSW Research Grant no. N516 422338 – A. Ligęza (project leader), K. Kluza, W. T. Adrian
  • 2011-2013: “Metamathematics of axiomatic metaphysics, or the issue of the formal and philosophical improving of the model-theoretic argument” KAAD (2011-2012), Thyssen Foundation (2012-2013) grants – post-doctoral grants by Krystian Jobczyk at Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians-Universität München. Supervisor: Prof. DDr Hannes Leitgeb. Read more: here and here.
  • 2012-2014: Prosecco Grant NCBiR 1. Program Badań Stosowanych, no. PBS1/B3/14/2012 – Prof. A. Ligęza, K. Kluza, W. T. Adrian
  • 2014-2017: KnowRex – W. T. Adrian @University of Calabria
  • 2017-2019: Smart Solutions for Big Data World – W. T. Adrian @University of Calabria

International Cooperation

Members of the group have many years of international experience. Dr Krystian Jobczyk completed his postdoctoral project at the Munich Center for Mathematical Philosophy at the Ludwig-Maximilian University and obtained his doctoral degree in cooperation with the University of Caen in France. Dr Weronika T. Adrian and dr Marek Adrian received their doctorates from the University of Calabria in Italy. Besides, KRaKEn researchers have participated in many international programs, e.g. Top 500 Innovators at Stanford University (dr Weronika T. Adrian, dr Krzysztof Kluza), Masters of Teaching at UCL in London and Leaders in University Management at the University of Helsinki (dr Krzysztof Kluza), Transformation.doc at the University of Lund (dr Piotr Wiśniewski). By the invitation of the University of Buenos Aires, dr Krystian Jobczyk and dr Krzysztof Kluza gave a series of lectures for the Buenos Aires Logic Group Research Group. The members of KRaKEn also have international research experience, cooperating with professors: Salvador Abreu (Portugal), Nicola Leone (Italy), Mykel J. Kochenderfer (USA), Maroua Bouzid (France).

Doctorates obtained at or in cooperation with foreign institutions:

  • 2013-2015: Dr Krystian Jobczyk, cotutelle between AGH University of Science and Technology and the University of Caen Basse-Normandie. Dissertation: Temporal planning with fuzzy constraints and preferences (supervisors: Prof. Antoni Ligęza, Prof. Maroua Bouzid)
  • 2014-2017: Dr Weronika T. Adrian, University of Calabria. Dissertation: Ontology-driven Information Extraction (supervisors: Prof. Nicola Leone, Prof. Marco Manna)
  • 2014-2017: Dr Marek Adrian, University of Calabria. Dissertation: Pure Strategies in Security Games (supervisor: Prof. Gianluigi Greco)

Recent activity