KRaKEn - Knowledge Representation and Knowledge Engineering

Back to list BaDAP profile
Description
We are a research team working in the area of Artificial Intelligence (AI) with primary focus on Knowledge Representation and Knowledge Engineering (abbreviated to KRaKEn which becomes the name of our group). Our activities include developments in theory, tools, and applications concentrated in several branches of modern AI: from its mathematical and logical foundations, through various KR and KE methods and tools (fuzzy logic, knowledge-based systems, logic, and constraint programming – especially with Prolog, model-based reasoning, probabilistic models, Bayesian networks, rule-based systems, semantic technologies, and other) up to practical applications including variations on knowledge graphs, business process modeling and management, eXplainable AI and many more. We are located at the Department of Applied Computer Science, which is a part of the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering of our Alma Mater – AGH University of Science and Technology in Kraków, Poland. We consider our work both as a professional service, but also as an intellectual adventure and a challenge to solve new problems; permanently staying open for new ideas, projects and cooperation, we welcome cooperation proposals and prospective contributors. Finally, being KRaKEn members, we love our Magic City – KRaków.
Laboratories:
Artificial Intelligence Lab (C2 316)
Human-Computer Interaction Lab (C2 220)
Cooperation:
Jagiellonian University
Cracow University of Technology
University of St. Gallen
Poznan University of Technology
Universite de Paris Cite
University of Calabria
University of Gdansk

Contact

KRaKEn
30-059 Kraków, al. Mickiewicza 30/Czarnowiejska, C-2, III piętro, p. 318, 319, 322
12 617 28 49

Leading unit

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering - Department of Applied Computer Science

Team leader

Ligęza Antoni

Team members

  • Bielecki Radosław
  • Wiśniewski Piotr
  • Jarosławski Mikołaj
  • Adrian Marek
  • Adrian Weronika Teresa
  • Jobczyk Krystian
  • Ślażyński Mateusz
  • Kluza Krzysztof
  • Stachura-Terlecka Bernadetta
  • Jemioło Paweł
  • Sepioło Dominik
  • Skrzyński Jakub
  • Gacek Paulina
  • Gacek Paulina
  • Skorupka Kamila

IDUB research areas

  • Technical solutions: from fundamental research, through modelling and design, to prototypes. The application of mathematical, information technology, and electronics tools to macro-, micro-, and nanoscale problems
  • Intelligent information, telecommunication, computer, and control and operation technologies

Keywords

knowledge representation and reasoningartificial intelligenceknowledge engineeringaffective computingemotion recognitiongraph-based knowledge representationknowledge graphssemantic technologieslogical and mathematical foundations of artificial intelligencemodeling of business processes using BPMN and DMN standardsprocess miningBPMNDMNrule-based systemsconstraint and logic programmingexplainable artificial intelligencetransparent, interpretable, trustable, declarative, White-Box AIhuman-computer interactionsystematic reviewsmetasciencemulti-valued, modal and temporal logic systemsfuzzy logic and fuzzy systemsfuzzy category theorygame theory