Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

52 projects found matching your search criteria :

  1. A unified logical framework for reasoning about deontic properties of actions and states of affairs

    Call: OPUS 9 , Panel: HS1

    Principal investigator: dr Robert Trypuz

    Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

  2. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Adjudicating of the Weight Formula and moral reasoning in the context of legal and moral pluralism

    Call: OPUS 8 , Panel: HS5

    Principal investigator: prof. Marek Adam Smolak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji

  4. Space to reason - the role of visual displays and gestures in deductive reasoning

    Call: HARMONIA 6 , Panel: HS6

    Principal investigator: dr Robert Mackiewicz

    SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie, Wydział Psychologii

  5. Information-theoretic abductive reasoning for context-based recommendation

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Andrzej Michał Szwabe

    Politechnika Poznańska, Wydział Elektryczny

  6. Cognitive Factors in Moral Decision Making

    Call: PRELUDIUM 7 , Panel: HS6

    Principal investigator: Bartłomiej Ryszard Kucharzyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  7. The role of the mechanism of binding and integration of relational structures in abstract thinking and reasoning: Psycho...

    Call: OPUS 6 , Panel: HS6

    Principal investigator: dr hab. Adam Wiktor Chuderski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  8. Modeling of abductive reasoning

    Call: SONATA BIS 3 , Panel: HS1

    Principal investigator: dr hab. Mariusz Paweł Urbański

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

  9. Metaphor as a mechanism to understand language of law and legal language and to experience law (quoting examples of Poli...

    Call: OPUS 5 , Panel: HS5

    Principal investigator: dr hab. Sylwia Magdalena Wojtczak

    Uniwersytet Łódzki, Wydział Prawa i Administracji

  10. 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

  11. 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

  12. The role of automatic and reflective emotions in heuristic and systematic processing on different levels of complexity

    Call: SONATA 4 , Panel: HS6

    Principal investigator: dr Kamil Konrad Imbir

    Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

  13. The intelligent UBMSS class systems supporting the enterprise management processes

    Call: OPUS 3 , Panel: HS4

    Principal investigator: dr Lidia Dominika Ogiela

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania

  14. The methods of formalization and criteria for the rationality of reasoning

    Call: OPUS 3 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  15. 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

  16. Granularity and bipolarity in fuzzy modeling of decision making and reasoning processes

    Call: OPUS 3 , Panel: ST6

    Principal investigator: prof. Janusz Aleksander Kacprzyk

    Instytut Badań Systemowych Polskiej Akademii Nauk

  17. Rule-based query answering method for a relational database with the use of an ontology-based knowledge

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: dr Jarosław Ksawery Bąk

    Politechnika Poznańska, Wydział Elektryczny

  18. The Effects of Generative Artificial Intelligence on Higher-Order Cognitive Functions

    Call: OPUS 27 , Panel: HS6

    Principal investigator: Dawid Jarosław Ratajczyk

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  19. Transitional justice: Developing the ability of secondary school students in Poland to resolve moral dilemmas concerning...

    Call: OPUS 27 , Panel: HS6

    Principal investigator: dr hab. Jarosław Horowski

    Uniwersytet Mikołaja Kopernika w Toruniu

  20. Towards superhuman performance in solving complex reasoning problems with Advanced Subgoal Search

    Call: PRELUDIUM 22 , Panel: ST6

    Principal investigator: Michał Zawalski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Interpretable and sustainable artificial intelligence with intuitive explanations

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Bartosz Michał Zieliński

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  22. Personalized reasoning in Natural Language Processing

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Przemysław Ryszard Kazienko

    Politechnika Wrocławska

  23. Modelling social interactions using data streams

    Call: OPUS 21 , Panel: HS6

    Principal investigator: dr Radosław Witold Michalski

    Politechnika Wrocławska

  24. Sources of Philosophical Intuitions: Towards a Model of Intuition Generation

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Dominik Dziedzic

    Uniwersytet Warszawski, Wydział Filozofii

  25. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Lech Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  26. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  28. Rethinking property. Structures of judicial reasoning in reprivatization cases

    Call: PRELUDIUM 19 , Panel: HS5

    Principal investigator: Gniewomir Jan Wycichowski-Kuchta

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  29. Intuitive legal reasoning in hard cases. A psychological approach.

    Call: ETIUDA 8 , Panel: HS5

    Principal investigator: Tomasz Jan Zygmunt-Gruszka

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  30. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  31. List of areas of admissibility of applying the reasoning per analogy in Polish tax law and in selected European countrie...

    Call: PRELUDIUM 17 , Panel: HS5

    Principal investigator: Marek Jarosław Słupczewski

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Prawa i Administracji

  32. Neural dynamics underlying relational reasoning

    Call: OPUS 17 , Panel: HS6

    Principal investigator: dr hab. Adam Wiktor Chuderski

    Uniwersytet Jagielloński

  33. Intuitive and Rational Reasoning in Law: The Dawn of a New Age in Legal Science

    Call: SONATA 14 , Panel: HS5

    Principal investigator: dr Maciej Jacek Koszowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  34. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  35. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. The legal unconscious: an analysis of intuition and insight in legal reasoning.

    Call: PRELUDIUM 15 , Panel: HS5

    Principal investigator: Tomasz Jan Zygmunt

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  37. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Paweł Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. The architecture of the legal mind

    Call: OPUS 14 , Panel: HS5

    Principal investigator: prof. Bartosz Paweł Brożek

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  39. Interactive character of relations between law and emotions

    Call: OPUS 14 , Panel: HS5

    Principal investigator: dr hab. Marta Soniewicka

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  40. Many-valued and probabilistic extensions of rule-based languages

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Andrzej Piotr Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Cognitive processes underlying foreign language effect in judgment and decision making. The significance of individual d...

    Call: SONATA 13 , Panel: HS6

    Principal investigator: dr Michał Białek

    Uniwersytet Wrocławski

  42. Quantifiers in Language: Use and Meaning

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr Jakub Krzysztof Szymanik

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  43. Logics of Situations

    Call: OPUS 13 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

  44. Ethics and Uncertainty: Indeterminacy, Lotteries, and Meta-Reasoning

    Call: UWERTURA 1 , Panel: HS1

    Principal investigator: dr Tomasz Żuradzki

    Uniwersytet Jagielloński, Wydział Filozoficzny

  45. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. 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

  47. Psychological essentialism, experience with nature, and language as factors influencing the development of reasoning abo...

    Call: OPUS 1 , Panel: HS6

    Principal investigator: dr Andrzej Tarłowski

    Akademia Ekonomiczno-Humanistyczna w Warszawie, Wydział Psychologii

  48. Soft computing algorithms for adaptive vibration control

    Call: SONATA 11 , Panel: ST8

    Principal investigator: dr Ziemowit Dworakowski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Mechanicznej i Robotyki

  49. Paraconsistent Reasoning in Autonomous Systems Situated in Informationally-Complex Environments

    Call: OPUS 10 , Panel: ST6

    Principal investigator: prof. Barbara Maria Dunin-Kęplicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. 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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy