Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne
Konkurs: OPUS 16 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
-
Uczenie się semantyki kwantyfikatorów języka naturalnego
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Dariusz Kalociński
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
-
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk