Welcome! Witam!

25th International Symposium on Methodologies for Intelligent Systems

• Deadline: January 10, 2020
• Location: University of Graz, Austria
• Conference dates: 20-22.05.2020
• Call-for-Papers

Call for Papers: External Link

Model-Based Reasonig Hanbook: MBR

Some pictuters:

Photos-set-1

Photos-set-2

Photos-set-3

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, Constraint Programming, Rule-Based Systems, Automated Diagnosis, Logic and Automated Planning.
View my profile and papers on Google Scholar \\I was 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 powołano Szkołę Doktorską w AGH: Szkoła Doktorska AGH; istnieje możliwość realizacji doktoratu wg szybkiej ścieżki.

Nowe TEMATY PRAC MAGISTERSKICH (na rok 2019-2020 i dalej): Zainteresowanych tematyką z obszaru zastosowań sztucznej inteligencji/inżynierii wiedzy proszę o kontakt.

Prace magisterskie 2019-2020: 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; MiniZinc, Numberjack, Picat,
• Model-Based Reasoning, Model Discovery, Bayes Networks, Causal Structure Discovery, Diagnostic Reasoning, Abduction,
• 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.

2019-2020: 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.

List of my recent papers:

BG AGH Link