Projekty finansowane przez NCN
Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i liczebniki
2018/31/B/ST6/03662
Słowa kluczowe:
zapytania bazodanowe spełnialność rozstrzygalność złożoność drzewa tranzytywność zliczanie
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST6_10: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
woj. opolskie
Konkurs: OPUS 16 - ogłoszony 2018-09-14
Przyznana kwota: 548 900 PLN
Rozpoczęcie projektu: 2019-07-01
Zakończenie projektu: 2024-07-16
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt zakończony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.