Projekty finansowane przez NCN

Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Niepewność i argumentacja: podejmowanie decyzji w warunkach niepewności w sporach prawnych

Konkurs: PRELUDIUM 24 , panel: HS5

Kierownik: Tadeusz Jerzy Zbiegień

Uniwersytet Jagielloński

Racje formułowane przez innych: zastrzeżenia i kontrargumentacja w polilogach

Konkurs: WEAVE-UNISONO , panel: HS1

Kierownik: dr hab. Marcin Jan Koszowy

Politechnika Warszawska

Wpływ generatywnej sztucznej inteligencji na wyższe funkcje poznawcze

Konkurs: OPUS 27 , panel: HS6

Kierownik: Dawid Jarosław Ratajczyk

Uniwersytet im. Adama Mickiewicza w Poznaniu

Sprawiedliwość tranzycyjna. Rozwijanie u uczniów szkół średnich umiejętności rozwiązywania dylematów moralnych odnoszący...

Konkurs: OPUS 27 , panel: HS6

Kierownik: dr hab. Jarosław Horowski

Uniwersytet Mikołaja Kopernika

Przekraczanie granic ludzkich umiejętności w rozwiązywaniu złożonych problemów za pomocą algorytmu Advanced Subgoal Sear...

Konkurs: PRELUDIUM 22 , panel: ST6

Kierownik: Michał Zawalski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Interpretowalne metody zrównoważonej sztucznej inteligencji tłumaczące decyzje w sposób intuicyjny

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Bartosz Michał Zieliński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Spersonalizowane wnioskowanie w przetwarzaniu języka naturalnego

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Przemysław Ryszard Kazienko

Politechnika Wrocławska

Modelowanie interakcji społecznych z wykorzystaniem strumieni danych

Konkurs: OPUS 21 , panel: HS6

Kierownik: dr Radosław Witold Michalski

Politechnika Wrocławska

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Źródła intuicji filozoficznych: w kierunku modelu generowania intuicji

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Dominik Dziedzic

Uniwersytet Warszawski, Wydział Filozofii

Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Marcin Lech Trepczyński

Uniwersytet Warszawski, Wydział Filozofii

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hybrydowe modele rozumowania

Konkurs: OPUS 19 , panel: HS1

Kierownik: dr hab. Maciej Malicki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Przemyśleć własność. Struktury uzasadnień sądowych w sprawach reprywatyzacyjnych

Konkurs: PRELUDIUM 19 , panel: HS5

Kierownik: Gniewomir Jan Wycichowski-Kuchta

Uniwersytet Warszawski, Wydział Prawa i Administracji

Intuicyjne rozumowania prawnicze w trudnych przypadkach. Perspektywa psychologiczna.

Konkurs: ETIUDA 8 , panel: HS5

Kierownik: Tomasz Jan Zygmunt-Gruszka

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Zestawienie obszarów dopuszczalności stosowania rozumowania per analogiam w prawie podatkowym polskim oraz wybranych kra...

Konkurs: PRELUDIUM 17 , panel: HS5

Kierownik: Marek Jarosław Słupczewski

Uniwersytet Mikołaja Kopernika, Wydział Prawa i Administracji

Dynamika neuronalna leżąca u podłoża rozumowania relacyjnego

Konkurs: OPUS 17 , panel: HS6

Kierownik: dr hab. Adam Wiktor Chuderski

Uniwersytet Jagielloński

Intuicyjne i racjonalne rozumowanie w prawie: początek nowej ery w nauce prawa

Konkurs: SONATA 14 , panel: HS5

Kierownik: dr Maciej Jacek Koszowski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Prawnicza nieświadomość: analiza pojęć 'intuicji' i 'wglądu' w rozumowaniach prawniczych.

Konkurs: PRELUDIUM 15 , panel: HS5

Kierownik: Tomasz Jan Zygmunt

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Architektura umysłu prawniczego

Konkurs: OPUS 14 , panel: HS5

Kierownik: prof. Bartosz Paweł Brożek

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Interakcyjny charakter relacji między prawem a emocjami

Konkurs: OPUS 14 , panel: HS5

Kierownik: dr hab. Marta Soniewicka

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Znaczenie różnic indywidualnych w wyjaśnianiu procesów poznawczych leżących u podstaw efektu języka obcego w sądach i de...

Konkurs: SONATA 13 , panel: HS6

Kierownik: dr Michał Białek

Uniwersytet Wrocławski

Kwantyfikatory w języku: użycie i znaczenie

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr Jakub Krzysztof Szymanik

Instytut Podstaw Informatyki PAN

Logiki sytuacji

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii

Etyka a niepewność: nieokreśloność, loterie i metarozumowania

Konkurs: UWERTURA 1 , panel: HS1

Kierownik: dr Tomasz Żuradzki

Uniwersytet Jagielloński, Wydział Filozoficzny

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

Konkurs: SONATA BIS 6 , panel: HS1

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Inteligentne algorytmy sterowania adaptacyjnego w celu kompensacji drgań konstrukcji

Konkurs: SONATA 11 , panel: ST8

Kierownik: dr Ziemowit Dworakowski

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

Parakonsystentne wnioskowanie w systemach autonomicznych usytuowanych w środowiskach złożonych informacyjnie

Konkurs: OPUS 10 , panel: ST6

Kierownik: prof. Barbara Maria Dunin-Kęplicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Praktycznie obliczalne dialogi w systemach wieloagentowych.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Alina Powała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoria argumentacji a rozumowania prawnicze w konstytucyjnym państwie prawa

Konkurs: OPUS 9 , panel: HS5

Kierownik: dr hab. Andrzej Grabowski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Metody wnioskowania o programach w językach wyższego rzędu

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stosowanie Formuły Ważenia i rozumowanie moralne w sytuacji pluralizmu prawnego oraz moralnego

Konkurs: OPUS 8 , panel: HS5

Kierownik: prof. Marek Adam Smolak

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

Przestrzeń rozumowania - znacznie reprezentacji wizualnych i gestów w rozumowaniu dedukcyjnym

Konkurs: HARMONIA 6 , panel: HS6

Kierownik: dr Robert Mackiewicz

Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Psychologii

Poznawcze czynniki podejmowania decyzji moralnych

Konkurs: PRELUDIUM 7 , panel: HS6

Kierownik: Bartłomiej Ryszard Kucharzyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Rola mechanizmu wiązania oraz integrowania struktur relacyjnych w procesie abstrakcyjnego myślenia i rozumowania: badani...

Konkurs: OPUS 6 , panel: HS6

Kierownik: dr hab. Adam Wiktor Chuderski

Uniwersytet Jagielloński, Wydział Filozoficzny

Modelowanie rozumowań abdukcyjnych

Konkurs: SONATA BIS 3 , panel: HS1

Kierownik: dr hab. Mariusz Paweł Urbański

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

Metafora jako mechanizm rozumienia języka prawnego i prawniczego oraz doświadczania prawa na przykładzie polskiego język...

Konkurs: OPUS 5 , panel: HS5

Kierownik: dr hab. Sylwia Magdalena Wojtczak

Uniwersytet Łódzki, Wydział Prawa i Administracji

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Rola emocji o genezie automatycznej i refleksyjnej w przetwarzaniu heurystycznym i systematycznym na różnych poziomach z...

Konkurs: SONATA 4 , panel: HS6

Kierownik: dr Kamil Konrad Imbir

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

Inteligentne systemy klasy UBMSS wspomagające procesy zarządzania przedsiębiorstwem

Konkurs: OPUS 3 , panel: HS4

Kierownik: dr Lidia Dominika Ogiela

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

Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Granularność i bipolarność w rozmytym modelowaniu procesów podejmowania decyzji i rozumowania

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Janusz Aleksander Kacprzyk

Instytut Badań Systemowych PAN

Regułowa metoda realizacji zapytań do relacyjnych baz danych z wykorzystaniem ontologicznej bazy wiedzy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Jarosław Ksawery Bąk

Politechnika Poznańska, Wydział Elektryczny