Projekty finansowane przez NCN

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

Naturalizacja prawa

Konkurs: MAESTRO 2 , panel: HS5

Kierownik: prof. Jerzy Stelmach

Uniwersytet Jagielloński

Logika językowego doświadczenia

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Wielowartościowa logika Jana Łukasiewicza jako podstawa nowej interpretacji mechaniki kwantowej

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Jarosław Pykacz

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Materiały kompozytowe dla optoelektroniki molekularnej

Konkurs: OPUS 2 , panel: ST5

Kierownik: prof. Konrad Szaciłowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

Elastyczne algorytmy problemu rozmieszczania obiektów w zarządzaniu produkcją i logistyce

Konkurs: OPUS 2 , panel: HS4

Kierownik: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Modelowanie dynamiki mobilnego robota czterokołowego i sterowanie jego ruchem nadążnym z ograniczeniem poślizgu kół jezd...

Konkurs: OPUS 2 , panel: ST7

Kierownik: dr hab. Maciej Tomasz Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów PIAP

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

Ontologia ekstensjonalna i logika filozoficzna

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badanie strategii retorycznych w dialogu

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Katarzyna Budzyńska

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Kategoryjne ujęcie konstrukcji Fraisségo-Jónssona

Konkurs: OPUS 2 , panel: ST1

Kierownik: dr hab. Wiesław Kubiś

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logiki dla wnioskowań jakościowych

Konkurs: MAESTRO 1 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Etnografia jako doświadczenie osobiste. Generacyjne uwarunkowania przemian metodologii i praktyk badawczych

Konkurs: PRELUDIUM 1 , panel: HS3

Kierownik: Filip Wróblewski

Uniwersytet Jagielloński, Wydział Historyczny

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Akceleracja metod wyszukiwania informacji w dużych zbiorach danych metodami sprzętowymi

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Kazimierz Wiatr

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

Konkurs: SONATA 1 , panel: HS4

Kierownik: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Aksjomatyzacje rozmaitości i quasirozmaitości

Konkurs: SONATA 1 , panel: ST1

Kierownik: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Kognitywne mechanizmy referencji liczebnikowej

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Piotr Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Relacje tolerancji w kratach i ich wykorzystanie

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Joanna Ewa Grygiel

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

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Bożena Woźna-Szcześniak

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

Ideały i działania grup na przestrzeniach polskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Michał Aleksander Morayne

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Bolesław Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Logika ciągła i jej algebraiczne zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Czy prawda jest pojęciem niewinnym? Filozoficzno-logiczna analiza deflacjonizmu

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa...

Konkurs: SONATA 1 , panel: HS1

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II