Projects funded by the NCN

Flexible algorithms for facility layout problems in production management and logistics

Call: OPUS 2 , Panel: HS4

Principal investigator: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Dynamics modeling of four-wheeled mobile robot and tracking control of its motion with limitation of wheels slip

Call: OPUS 2 , Panel: ST7

Principal investigator: dr hab. Maciej Tomasz Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów PIAP

80 years of investigations on natural deduction and sequent calculi

Call: OPUS 2 , Panel: HS1

Principal investigator: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Decision procedures in verification

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Around Modal Logics - Decidability and Complexity

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logics for qualitative reasoning

Call: MAESTRO 1 , Panel: HS1

Principal investigator: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Acceleration of information searching in large data sets by means of hardware methods

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Kazimierz Wiatr

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

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

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Continuous logic and its algebraic applications

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II