This is home page of Antoni Ligęza.
I am prof. 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 |

Całkiem nowe!!! Osoby zainteresowane **Studiami Doktoranckimi z Informatyki** w obszarze Sztucznej Inteligencji/Inżynierii Wiedzy- zapraszam do kontaktu. Termin: od dziś (20.03.2012) do 7.09.2012

Prace magisterskie: 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,
• Many-Valued Logics, Logics for Uncertainty, Paraconsistent Logics, Logics for Inconsistent Systems,
• BPMN, Business Process Modeling, Business Rules, Business Intelligence,
• Machine Learning, Data Analysis, Knowledge Induction,
• Very Large Graphs, Granular Graphs, Hipergraphs, Large Networks.

Nowe tematy prac magisterskich wkrótce… Istnieje także możliwość zgłoszenia nowych/własnych tematów z obszaru Inżynierii Wiedzy/Sztucznej Inteligencji.

Poniżej: wybrane tematy ciągle aktualne:

**Nowe tematy prac magisterskich 2011-2012**

**Nowe tematy prac inżynierskich 2011-2012**

**Uwaga: tematy prac magisterskich i inżynierskich 2010/2011 (duża część ciągle aktualnych)**

Polskie Stowarzyszenie Sztucznej Inteligencji