Projects search

• Keywords: automated theorem proving ×

Change search criteria ↓

Search results

5 projects found matching your search criteria:

1. 1. Deep Neural Architectures for Automated Theorem Proving

   Principal investigator: Bartosz Paweł Piotrowski

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: PRELUDIUM 15, Panel: ST6

2. 2. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

   Principal investigator: dr hab. Dorota Leszczyńska-Jasion

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

   Call: SONATA BIS 7, Panel: HS1

3. 3. Automatisation of constructive logic

   Principal investigator: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 4, Panel: ST6

4. 4. Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

   Principal investigator: prof. Andrzej Wiśniewski

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

   Call: MAESTRO 2, Panel: HS1

5. 5. Decision procedures in verification

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 2, Panel: ST6