Projects funded by the NCN
Search results
10 projects found matching your search criteria :
-
Everything I know: a syntactical approach to only-knowing
Call: OPUS 29 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
-
Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Call: OPUS 19 , Panel: ST6
Principal investigator: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Call: SONATA BIS 7 , Panel: HS1
Principal investigator: dr hab. Dorota Leszczyńska-Jasion
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
-
Hybridizing Fragments of Halpern-Shoham Logic
Call: PRELUDIUM 12 , Panel: HS1
Principal investigator: Przemysław Andrzej Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
-
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.
Call: OPUS 10 , Panel: ST6
Principal investigator: dr hab. Michał Krzysztof Baczyński
UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych
-
Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Call: OPUS 6 , Panel: HS1
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
-
Automatic reasoning about specifications in simple logics - decidability and complexity issues
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
-
Deductive systems and decidability problem for hybrid logics
Call: PRELUDIUM 1 , Panel: HS1
Principal investigator: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
-
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki