Projects funded by the NCN

Everything I know: a syntactical approach to only-knowing

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

New automated verification methods of open real-time multi-agent systems

Call: OPUS 29 , Panel: ST6

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

Akademia im. Jana Długosza w Częstochowie

Dynamic epistemic logic and the problem of logical omniscience

Call: PRELUDIUM 21 , Panel: HS1

Principal investigator: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Interventions against polarisation in society for Trustworthy social media: From diagnosis to therapy

Call: CHIST-ERA2021 , Panel: ST6

Principal investigator: dr hab. Katarzyna Budzyńska

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

Agent-based Hierarchic Particle Swarm Optimization as a Multi-objective Decision Problems Support Tool

Call: PRELUDIUM 13 , Panel: ST6

Principal investigator: Michał Tomasz Idzik

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

Tractable dialogues in multi-agent systems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Alina Powała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Małgorzata Zbrzezny

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

Learning the semantics of natural language quantifiers

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Dariusz Kalociński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Hybrid model of the early detection of internal diseases based on the paradigm of interacting particles and multi-agent ...

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Łukasz Faber

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

Experimental and simulation studies of advanced control of biotechnological processes stimulation

Call: OPUS 3 , Panel: ST7

Principal investigator: prof. Mieczysław Metzger

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Micromechanics of Programmable Matter

Call: SONATA 2 , Panel: ST8

Principal investigator: dr Jakub Arkadiusz Lengiewicz

Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

Exploring rhetorical strategies in a dialogue

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Katarzyna Budzyńska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Computational collective intelligence methods and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr Dariusz Wojciech Barbucha

Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa

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

Development of rule-based query languages applied in intelligent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki