Znaleziono 5 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
Kognitywistyka w poszukiwaniu jedności: unifikacja i integracja badań interdyscyplinarnych
Konkurs: SONATA BIS 4 , panel: HS1
Kierownik: dr hab. Marcin Tomasz Miłkowski
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Konkurs: OPUS 7 , panel: NZ8
Kierownik: prof. Werner Ulrich
Uniwersytet Mikołaja Kopernika, Wydział Biologii i Ochrony Środowiska
Konkurs: MAESTRO 1 , panel: ST8
Kierownik: prof. Marek Danielewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki