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

50 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 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 w Warszawie, Wydział Psychologii

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

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Andrzej Szwabe

    Politechnika Poznańska, Wydział Elektryczny

  6. Cognitive Factors in Moral Decision Making

    Call: PRELUDIUM 7 , Panel: HS6

    Principal investigator: Bartłomiej 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 Chuderski

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

    Instytut Badań Systemowych PAN

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

    Politechnika Poznańska, Wydział Elektryczny

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

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

  20. Personalized reasoning in Natural Language Processing

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Przemysław Kazienko

    Politechnika Wrocławska

  21. Modelling social interactions using data streams

    Call: OPUS 21 , Panel: HS6

    Principal investigator: dr Radosław Michalski

    Politechnika Wrocławska

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

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Dominik Dziedzic

    Uniwersytet Warszawski, Wydział Filozofii

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

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  24. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: PRELUDIUM 19 , Panel: HS5

    Principal investigator: Gniewomir Wycichowski-Kuchta

    Uniwersytet Warszawski, Wydział Prawa i Administracji

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

    Call: ETIUDA 8 , Panel: HS5

    Principal investigator: Tomasz Zygmunt

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  28. Logics for qualitative reasoning

    Call: MAESTRO 1 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  29. 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 Słupczewski

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

  30. Neural dynamics underlying relational reasoning

    Call: OPUS 17 , Panel: HS6

    Principal investigator: dr hab. Adam Chuderski

    Uniwersytet Jagielloński

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

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

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

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

  35. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. The architecture of the legal mind

    Call: OPUS 14 , Panel: HS5

    Principal investigator: prof. Bartosz Brożek

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

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

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

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

  40. Quantifiers in Language: Use and Meaning

    Call: OPUS 13 , Panel: HS1

    Principal investigator: dr Jakub Szymanik

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  41. Logics of Situations

    Call: OPUS 13 , Panel: HS1

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

    Uniwersytet Warszawski, Wydział Filozofii

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

    Call: UWERTURA 1 , Panel: HS1

    Principal investigator: dr Tomasz Żuradzki

    Uniwersytet Jagielloński, Wydział Filozoficzny

  43. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

  49. Tractable dialogues in multi-agent systems.

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Alina Powała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy