Wyszukiwarka projektów

• Słowa kluczowe: automated theorem proving ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

1. 1. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

   Kierownik: Bartosz Paweł Piotrowski

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: PRELUDIUM 15, panel: ST6

2. 2. Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym…

   Kierownik: dr hab. Dorota Leszczyńska-Jasion

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

   Konkurs: SONATA BIS 7, panel: HS1

3. 3. Automatyzacja wnioskowania konstruktywnego

   Kierownik: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 4, panel: ST6

4. 4. Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

   Kierownik: prof. Andrzej Wiśniewski

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

   Konkurs: MAESTRO 2, panel: HS1

5. 5. Procedury decyzyjne w weryfikacji

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 2, panel: ST6