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. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Logics of Situations

    Call: OPUS 13 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

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

  4. 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 Chuderski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

  6. Interpretable and sustainable artificial intelligence with intuitive explanations

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Bartosz Zieliński

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  8. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Instytut Matematyczny Polskiej Akademii Nauk, Wydział Matematyki, Informatyki i Mechaniki

  9. Personalized reasoning in Natural Language Processing

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Przemysław Ryszard Kazienko

    Politechnika Wrocławska

  10. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  11. Tractable dialogues in multi-agent systems.

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Alina Powała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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

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

    Call: UWERTURA 1 , Panel: HS1

    Principal investigator: dr Tomasz Żuradzki

    Uniwersytet Jagielloński, Wydział Filozoficzny

  16. Quantifiers in Language: Use and Meaning

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr Jakub Szymanik

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  17. The architecture of the legal mind

    Call: OPUS 14 , Panel: HS5

    Principal investigator: prof. Bartosz Brożek

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

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

    Call: PRELUDIUM 15 , Panel: HS5

    Principal investigator: Tomasz Zygmunt

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  19. 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 Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

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

    Call: SONATA 14 , Panel: HS5

    Principal investigator: dr Maciej Koszowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

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

  22. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

  23. Modeling of abductive reasoning

    Call: SONATA BIS 3 , Panel: HS1

    Principal investigator: dr hab. Mariusz Urbański

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

  24. Cognitive Factors in Moral Decision Making

    Call: PRELUDIUM 7 , Panel: HS6

    Principal investigator: Bartłomiej Kucharzyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  25. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Modelling social interactions using data streams

    Call: OPUS 21 , Panel: HS6

    Principal investigator: dr Radosław Witold Michalski

    Politechnika Wrocławska

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

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

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Andrzej Szwabe

    Politechnika Poznańska, Wydział Elektryczny

  29. 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 Bąk

    Politechnika Poznańska, Wydział Elektryczny

  30. Neural dynamics underlying relational reasoning

    Call: OPUS 17 , Panel: HS6

    Principal investigator: dr hab. Adam Wiktor Chuderski

    Uniwersytet Jagielloński

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

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

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

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

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

    Wyższa Szkoła Finansów i Zarządzania w Warszawie, Wydział Psychologii

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

    Call: OPUS 3 , Panel: ST6

    Principal investigator: prof. Janusz Kacprzyk

    Instytut Badań Systemowych PAN

  38. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. 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 Smolak

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

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

  41. Argumentation Theory and Legal Reasoning in the Constitutional Rule-of-Law State

    Call: OPUS 9 , Panel: HS5

    Principal investigator: dr hab. Andrzej Grabowski

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

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

    Call: OPUS 10 , Panel: ST6

    Principal investigator: prof. Barbara Dunin-Kęplicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: OPUS 3 , Panel: HS4

    Principal investigator: dr Lidia Ogiela

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

  44. 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 Imbir

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

  45. 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 Wojtczak

    Uniwersytet Łódzki, Wydział Prawa i Administracji

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

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

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Dominik Dziedzic

    Uniwersytet Warszawski, Wydział Filozofii

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

    Call: OPUS 27 , Panel: HS6

    Principal investigator: Dawid Ratajczyk

    Uniwersytet im. Adama Mickiewicza w Poznaniu

  49. 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, Wydział Nauk Historycznych i Pedagogicznych

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

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Andrzej Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy