Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych
Konkurs: OPUS 29 , panel: ST6
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski
-
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki