Wyniki wyszukiwania
Znaleziono 16 projektów spełniających kryteria wyszukiwania:
-
Kierownik: dr Grzegorz Paweł Bryda
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: OPUS 12, panel: HS6
-
Kierownik: dr Anna Leśniewska
Politechnika Poznańska, Wydział Informatyki
Konkurs: SONATA 9, panel: ST6
-
Kierownik: prof. Artur Jerzy Przelaskowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: OPUS 2, panel: ST7
-
4. Nieskończoność we wnioskowaniu o danych i wiedzy
Kierownik: dr hab. Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 8, panel: ST6
-
5. Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)
Kierownik: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Konkurs: PRELUDIUM 2, panel: ST6
-
Kierownik: Jaromar Marceli Łukowicz
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
Konkurs: PRELUDIUM 3, panel: HS4
-
7. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 29, panel: ST6
-
8. Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy
Kierownik: Arkadiusz Jerzy Wójcik
Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki
Konkurs: PRELUDIUM 21, panel: HS1
-
9. Model autonomicznego zarządzania komponentów natywnego-chmurowego środowiska wykonawczego
Kierownik: dr Joanna Katarzyna Kosińska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Konkurs: OPUS 29, panel: ST6
-
10. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Konkurs: PRELUDIUM 23, panel: ST6
-
11. Języki i Uczenie w General Game Playing
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
Kierownik: dr hab. Paweł Rafał Garbacz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II
Konkurs: OPUS 4, panel: HS1
-
13. Bezplikowa architektura rozproszonych systemów informatycznych dużej skali
Kierownik: dr Bartosz Andrzej Kryza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: PRELUDIUM 3, panel: ST6
-
14. Nowe metody służące do automatycznej syntezy i eksploracji danych sekwencyjnych
Kierownik: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Konkurs: SONATA 2, panel: ST6
-
15. Metodyka projektowania hierarchicznych procesów biznesowych zintegrowanych z regułami biznesowymi
Kierownik: Krzysztof Kluza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Konkurs: PRELUDIUM 2, panel: ST6
-
16. Logiki dla wnioskowań jakościowych
Kierownik: dr hab. Joanna Golińska-Pilarek
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: MAESTRO 1, panel: HS1