Projekty finansowane przez NCN

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa...

Konkurs: SONATA 1 , panel: HS1

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II