====== Welcome! Witam! ======


===== ISMIS'2020 info =====

[[https://ismis.ist.tugraz.at/|25th International Symposium on Methodologies for Intelligent Systems]]

  * Deadline: January 10, 2020
  * Location: University of Graz, Austria
  * Conference dates: 	20-22.05.2020
  * [[https://ismis.ist.tugraz.at/call-for-papers-2/|Call-for-Papers]]

----


Call for Papers: [[http://example.com|External Link]]

==== Model-Based Reasoning 2017 ====

Model-Based Reasonig Hanbook: [[http://www.springer.com/gp/book/9783319305257|MBR]]

Some pictuters:

{{:model-based-reasoning-photos-a-ligeza-1.tar.gz|Photos-set-1}}

{{:model-based-reasoning-photos-a-ligeza-2.tar.gz|Photos-set-2}}

{{:model-based-reasoning-photos-a-ligeza-3.tar.gz|Photos-set-3}}


----
----



{{:main:ligeza.jpg?150X200 |}} This is home page of **[[:main:cv|Antoni Ligęza]]**.
\\ I am professor of Computer Science at \\ [[http://agh.edu.pl/en| 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 **[[https://scholar.google.pl/citations?user=pI8_NIsAAAAJ&hl=pl|Google Scholar]]** \\I was a vice-president of the [[http://pssi.agh.edu.pl/~pssi/en:start|Polish Artificial Intelligence Society ]]  [[http://www.pssi.agh.edu.pl|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: [[https://www.agh.edu.pl/doktoranci/szkoly-doktorskie/szkola-doktorska-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:**__

[[https://bpp.agh.edu.pl/autor/?idA=01080&fodR=0&fdoR=0&fagTP=0&fagIF=0&fagPM=0&afi=1&vt=c#vtype|BG AGH Link]]