Welcome! Witam!

This is home page of Antoni Ligęza.
I am professor of Computer Science at
AGH University of Science and Technology in Kraków, Poland.
I give courses on Databases, Prolog and Artificial Intelligence/Knowledge Engineering.
My research is focused on Knowledge Engineering, Rule-Based Systems, Automated Diagnosis, Attribute Logic and Automated Planning.
I am a vice-president of the Polish Artificial Intelligence Society Polskie Stowarzyszenie Sztucznej Inteligencji|




Doktoraty/Badania naukowe Osoby zainteresowane Doktoratem, Studiami Doktoranckimi z Informatyki, pracą naukową w obszarze Sztucznej Inteligencji/Inżynierii Wiedzy - zapraszam do kontaktu. Zgodnie z nowmi przepisami istnieje możliwość realizacji doktoratu wg szybkiej ścieżki.

DoktoratStudia Doktoranckie na Wydziale Elektrotechniki, Automatyki, Informatyki i Elektroniki Stacjonarne studia doktoranckie wg całkowicie nowego programu wystarowały od 1.10.2013. Zainteresowani podjęciem studiów z zakresu informatyki proszeni są o kontakt (ligeza@agh.edu.pl). Rekrutacja będzie miała miejsce we wrześniu 2016. W trakcie studiów istnieje możliwość uzyskania stypendiów oraz pracy w projektach badawczych.


StażeStaże asystenckie na Wydziale EAIiIB Warunki kwalifikacji i inne informacje


Nowe TEMATY PRAC MAGISTERSKICH (na rok 2016 i dalej): będą ogłoszone wkrótce. Zainteresowanych proszę o kontakt.


Prace magisterskie 2015-2016: Osoby zainteresowane ambitniejszymi pracami dyplomowymi/magisterskimi/doktorskimi z obszaru Sztucznej Inteligencji/Inżynierii Wiedzy zapraszam do współpracy. Zakres tematyki:

  • Constraint Programming, Constraint Logic Programming, Answer Set Programming,
  • Automated Planning, Scheduling, Operations Research Models,
  • DMN - Decision Modeling and Notation; BPMN - Business Process Modeling and Notation, Business Rules, Business Intelligence,
  • Many-Valued Logics, Logics for Uncertainty, Paraconsistent Logics, Logics for Inconsistent Systems,
  • Very Large Graphs, Granular Graphs, Hipergraphs, Large Networks, Robust Graphs,
  • Machine Learning, Data Analysis, Knowledge Induction,
  • Logics, Attribute Logics, Inference, Backward Dual Resolution,
  • Bioinformatics, biological models for computing and inference.

Nowe tematy prac inżynierskich i magisterskich – do uzgodnienia. Istnieje także możliwość zgłoszenia nowych/własnych tematów z obszaru Inżynierii Wiedzy/Sztucznej Inteligencji.



Some of my recent papers:

© Antoni Ligeza 2009 Driven by DokuWiki