Wyniki wyszukiwania

Słowa kluczowe: logika rozstrzygalność złożoność

Zmień kryteria wyszukiwania ↓

Znaleziono 9 projektów spełniających kryteria wyszukiwania:

1. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 5, panel: ST6
2. Wokół logik modalnych - rozstrzygalność i złożoność

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 2, panel: ST6
3. Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Konkurs: PRELUDIUM 1, panel: HS1
4. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6
5. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6
6. Automation of the Problem of Unification in Description Logics

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Konkurs: POLONEZ BIS 3, panel: ST6
7. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Konkurs: OPUS 16, panel: ST6
8. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6
9. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Kierownik: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 14, panel: ST1

Wyszukiwarka projektów

Wyniki wyszukiwania