Badania

O zespole

KRaKEn to grupa badawcza kierowana przez Profesora Antoniego Ligęzę złożona głównie z pracowników Katedry Informatyki Stosowanej WEAIiIB AGH oraz doktorantów i współpracowników zespołu. W latach 2009-2019 członkowie grupy współpracowali ze sobą w ramach innych zespołów i wcześniejszych projektów, natomiast grupa w obecnym składzie i o aktualnym profilu badawczym powołana została do życia w 2019 roku po powrocie do Polski po ukończonych doktoratach i stażach podoktorskich części członków zespołu. 

Profil badawczy

  • Oparta na grafach reprezentacja wiedzy, knowledge graphs, technologie semantyczne
  • Logiczne i matematyczne podstawy sztucznej inteligencji
  • Modelowanie procesów biznesowych z użyciem standardów BPMN i DMN
  • Programowanie z ograniczeniami i programowanie w logice
  • Objaśnianie i interpretowanie modeli sztucznej inteligencji

Publikacje

Prof. A. Ligęza – Dr K. Kluza – Dr Krystian Jobczyk – Dr Weronika T. Adrian – Dr Piotr Wiśniewski – Mateusz Ślażyński

Projekty

Członkowie grupy brali udział w wielu projektach krajowych, międzynarodowych i zagranicznych, m.in:

  • 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

Współpraca międzynarodowa

Członkowie grupy mają wieloletnie doświadczenie międzynarodowe. Dr Krystian Jobczyk odbył staż podoktorski w Monachijskim Centrum Filozofii Matematycznej na Uniwersytecie Ludwika-Maksymiliana oraz zrealizował doktorat we współpracy z Uniwersytetem w Caen we Francji; dr Weronika T. Adrian oraz dr Marek Adrian zrealizowali doktoraty w University of Calabria we Włoszech. Ponadto badacze byli uczestnikami wielu międzynarodowych programów stażowych np. Top 500 Innovators na Uniwersytecie Stanforda (dr Weronika T. Adrian, dr Krzysztof Kluza), Mistrzowie dydaktyki na UCL w Londynie oraz Liderzy w zarządzaniu uczelnią na Uniwersytecie Helsińskim (dr Krzysztof Kluza), Transformation.doc na Uniwersytecie w Lund (dr Piotr Wiśniewski). Na zaproszenie Uniwersytetu w Buenos Aires dr Krystian Jobczyk wraz z drem Krzysztofem Kluzą wygłosili serię wykładów dla grupy badawczej Buenos Aires Logic Group. Członkowie grupy posiadają także międzynarodowe doświadczenia badawcze, współpracowali między innymi z profesorami: Salvador Abreu (Portugalia), Nicola Leone (Włochy), Mykel J. Kochenderfer (USA), Maroua Bouzid (Francja).

Doktoraty zagraniczne i zrealizowane we współpracy z ośrodkami zagranicznymi:

  • 2013-2015: dr Krystian Jobczyk, co-tutelle między AGH i Uniwersytetem Caen Basse-Normandie. Temat rozprawy: 'Temporal planning with fuzzy constraints and preferences’, (promotor: Prof. Antoni Ligęza, Prof. Maroua Bouzid)
  • 2014-2017: dr inż. Weronika T. Adrian, Uniwersytet w Kalabrii. Tematy rozprawy: „Ontology-driven Information Extraction” (promotor: Prof. Nicola Leone, Prof. Marco Manna)
  • 2014-2017: dr Marek Adrian, Uniwersytet w Kalabrii. Temat rozprawy: „Pure Strategies in Security Games” (promotor: Prof. Gianluigi Greco)

Aktualności

  • Artykuł na temat metryk podobieństwa semantycznego współtworzony z naszymi studentami zgłoszony na międzynarodową konferencję KSEM 2020!
    • Uwielbiamy promować pracę naszych studentów na forum międzynarodowym 🙂
  • Krystian Jobczyk uzyskał stypendium Fulbrighta w kategorii Senior Award 2020/2021!
    • Jego grant – koncentrujący się na projekcie reaktywnej weryfikacji modelowej – będzie realizowany w centrum im. Saula Kripkego na Nowojorskim Uniwersytecie Miejskim (CUNY). Więcej: na stronie AGH i na stronie Fundacji Fullbright
  • Wraz z reprezentacją studentek Informatyki, WEAIiIB wybraliśmy się na konferencję Women In Tech Summit w Warszawie
    • Dwa dni inspirującyh prelekcji, warsztatów i targów z pewnością zaowocują nowymi pomysłami i projektami!
  • START! KRaKEn is here! 🙂 Przedstawiliśmy grupę i nasze zainteresowania badawcze na konferencji PP-RAI 2019: Polskie Porozumienie na Rzecz Rozwoju Sztucznej Inteligencji