Projects funded by the NCN

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

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

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Effective computations in predicative mathematics

Call: SONATINA 2 , Panel: ST6

Principal investigator: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 w Katowicach, Wydział Nauk Ścisłych i Technicznych

Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki