Projekty finansowane przez NCN

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

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

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stan kwantowy: informacja, wolny wybór, losowość

Konkurs: OPUS 23 , panel: HS1

Kierownik: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Elżbieta Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

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 Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Samoistne struktury w grawitacji kwantowej

Konkurs: OPUS 17 , panel: HS1

Kierownik: dr Antonio Vassallo

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Fundamentalne zagadnienia ontologiczne a fizyka współczesna

Konkurs: OPUS 13 , panel: HS1

Kierownik: dr hab. Tomasz Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Czasoprzestrzenne historie - teoria i zastosowania

Konkurs: HARMONIA 8 , panel: HS1

Kierownik: prof. Tomasz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny