Search results
18 projects found matching your search criteria:
-
1. A quest for new computer logics
Principal investigator: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 11, Panel: ST6
-
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. Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices
Principal investigator: Kacper Krzysztof Pilarczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii
Call: PRELUDIUM 11, Panel: ST3
-
4. Automatic reasoning about specifications in simple logics - decidability and complexity issues
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 5, Panel: ST6
-
5. Hybridizing Fragments of Halpern-Shoham Logic
Principal investigator: Przemysław Andrzej Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 12, Panel: HS1
-
6. Deductive systems and decidability problem for hybrid logics
Principal investigator: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: PRELUDIUM 1, Panel: HS1
-
7. Analysis of quantitative models of computation
Principal investigator: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Call: SONATA BIS 14, Panel: ST6
-
8. Polynomial finite state computation
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: MAESTRO 14, Panel: ST6
-
9. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 6, Panel: HS1
-
10. Effective computations in predicative mathematics
Principal investigator: dr Michał Roman Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATINA 2, Panel: ST6
-
Principal investigator: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: SONATA 1, Panel: ST6
-
12. Everything I know: a syntactical approach to only-knowing
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 29, Panel: ST6
-
13. Structural complexity measures for foundational theories
Principal investigator: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
Call: WEAVE-UNISONO, Panel: HS1
-
14. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Principal investigator: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 19, Panel: ST6
-
15. Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.
Principal investigator: dr hab. Michał Krzysztof Baczyński
UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych
Call: OPUS 10, Panel: ST6
-
16. Reasoning about programs in higher-order languages
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8, Panel: ST6
-
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: OPUS 6, Panel: ST6
-
Principal investigator: dr hab. Maciej Tomasz Trojnacki
Przemysłowy Instytut Automatyki i Pomiarów PIAP
Call: OPUS 2, Panel: ST7