Projects funded by the NCN

From Games to Algorithms: Exploring Reasoning in Description Logics

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Barbara Morawska

Uniwersytet Opolski

Automation of the Problem of Unification in Description Logics

Call: POLONEZ BIS 3 , Panel: ST6

Principal investigator: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Diffusion in solids revisited; the unification of the bi-velocity and phase field methods for designing new materials.

Call: MAESTRO 1 , Panel: ST8

Principal investigator: prof. Marek Danielewski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki

Damage caused by a crime as a premise for the unification of criminal and civil proceedings model

Call: PRELUDIUM 17 , Panel: HS5

Principal investigator: Łukasz Andrzej Duśko

Uniwersytet Jagielloński