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
Publications
Antoni Ligęza, Professor
Krzysztof Kluza, PhD – Krystian Jobczyk, PhD – Weronika T. Adrian, PhD – Piotr Wiśniewski, PhD
Mateusz Ślażyński, MSc – Paweł 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
- A paper about semantic similarity metrics co-authored with our students submitted for the international KSEM 2020 conference!
- We love to promote the work of our students on an international forum 🙂
- Krystian Jobczyk received a Fulbright scholarship in the Senior Award 2020/2021 category!
- His grant, focused on reactive model verification, will be performed at the Center of Saul Kripke at New York City University (CUNY). More on the AGH University of Science and Technology website and the Fullbright Foundation website.
- Together with the representation of Computer Science students, we went to the Women In Tech Summit conference in Warsaw.
- Two days of inspiring lectures, workshops and exhibitions. No doubt, it will help in generating new ideas and projects!
- START! KRaKEn is here! 🙂 We presented the group and our research profile on the PP-RAI 2019: Polskie Porozumienie na Rzecz Rozwoju Sztucznej Inteligencji (Polish Agreement for the Development of Artificial Intelligence) conference.
- Team representation presented the basic research ideas of our group at the conference in Wrocław.
- Brief overview of research directions in Artificial Intelligence methods for Business Process Management / Krzysztof KLUZA, Piotr WIŚNIEWSKI, Weronika T. ADRIAN, Antoni LIGĘZA, Marek ADRIAN, Bernadetta STACHURA-TERLECKA, Krystian JOBCZYK
- Exploring constraint programming : approaching a practical optimization problem / Weronika T. ADRIAN, Mateusz ŚLAŻYŃSKI, Antoni LIGĘZA, Marco Manna, Nicola Leone, Marek ADRIAN, Krystian JOBCZYK, Krzysztof KLUZA, Bernadetta STACHURA-TERLECKA, Piotr WIŚNIEWSKI
- Semantic Information Extraction and knowledge graph analysis / Weronika T. ADRIAN, Marco Manna, Giovanni Amendola, Rafael Peñaloza
- Team representation presented the basic research ideas of our group at the conference in Wrocław.
