Search results
4 projects found matching your search criteria:
-
1. Deductive systems and decidability problem for hybrid logics
Principal investigator: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: PRELUDIUM 1, Panel: HS1
-
2. 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
-
3. Hybridizing Fragments of Halpern-Shoham Logic
Principal investigator: Przemysław Andrzej Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 12, Panel: HS1
-
Principal investigator: dr hab. Maciej Malicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 19, Panel: HS1