Projects funded by the NCN

Hybridizing Fragments of Halpern-Shoham Logic

Call: PRELUDIUM 12 , Panel: HS1

Principal investigator: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

Call: SONATA BIS 6 , Panel: HS1

Principal investigator: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

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

Hybrid materials on the verge of fuzzy logic systems and neuromorphic computing devices

Call: PRELUDIUM 11 , Panel: ST3

Principal investigator: Kacper Krzysztof Pilarczyk

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Karol Czerwiński

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

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut 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

Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

Call: PRELUDIUM 10 , Panel: HS1

Principal investigator: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

Call: OPUS 9 , Panel: HS1

Principal investigator: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu