Projects funded by the NCN

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Małgorzata Zbrzezny

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

Computational collective intelligence methods and their applications

Call: OPUS 1 , Panel: ST6

Principal investigator: dr Dariusz Wojciech Barbucha

Uniwersytet Morski w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa

Subjectivity of software agents - legal theoretical approach

Call: PRELUDIUM 8 , Panel: HS5

Principal investigator: dr Rafał Michalczak

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

Modeling cooperation of agents by multivalued logics and parallel processing

Call: OPUS 3 , Panel: ST6

Principal investigator: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

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

GeoAI Place: Socio-technological place representations and imaginaries in the era of generative artificial intelligence

Call: SONATA 20 , Panel: HS4

Principal investigator: dr Maciej Główczyński

Uniwersytet im. Adama Mickiewicza w Poznaniu

The two are better than one - biferrocenyl ROS generators as intelligent anticancer agents

Call: OPUS 27 , Panel: ST5

Principal investigator: prof. Konrad Maciej Kowalski

Uniwersytet Łódzki

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

Call: WEAVE-UNISONO , Panel: ST6

Principal investigator: dr hab. Katarzyna Budzyńska

Politechnika Warszawska

Analysis of cultural differences in social perception of agency and communion of smiling individuals.

Call: PRELUDIUM 2 , Panel: HS6

Principal investigator: dr Jakub Kryś

Instytut Psychologii Polskiej Akademii Nauk

Automating Welfare - Algorithmic Infrastructures for Human Flourishing in Europe

Call: CHIST-ERA2020 , Panel: HS5

Principal investigator: dr Karolina Sztandar-Sztanderska

Uniwersytet Warszawski

Efficiency determinants in intelligent transportation networks

Call: OPUS 21 , Panel: HS4

Principal investigator: dr Przemysław Aleksander Szufel

Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

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

Identity of Intelligent Agents in Business Relationships

Call: PRELUDIUM 17 , Panel: HS4

Principal investigator: Mateusz Tomasz Kot

Uniwersytet Ekonomiczny w Poznaniu, Instytut Marketingu

Efficient distributed algorithms with constrained memory, energy in dynamic models.

Call: OPUS 17 , Panel: ST6

Principal investigator: dr Dominik Sławomir Pająk

Politechnika Wrocławska

A new data-driven geometric scene description method for agent localization

Call: PRELUDIUM 16 , Panel: ST6

Principal investigator: Jan Maciej Wietrzykowski

Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki

Study on quality and security of real-time transmission supported by agents and reputation system

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Grzegorz Oryńczak

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

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

Planning Methods for Management of Entity Groups with Diverse Levels of Autonomy, Controlability, Predictability and Obs...

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Wojciech Turek

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