Projects funded by the NCN

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

The role of automatic and reflective emotions in heuristic and systematic processing on different levels of complexity

Call: SONATA 4 , Panel: HS6

Principal investigator: dr Kamil Imbir

Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Robust Formalisms for Quantitative Reasoning

Call: OPUS 20 , Panel: ST6

Principal investigator: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Call: OPUS 16 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Deep Neural Architectures for Automated Theorem Proving

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Soft computing algorithms for adaptive vibration control

Call: SONATA 11 , Panel: ST8

Principal investigator: dr Ziemowit Dworakowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Mechanicznej i Robotyki