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

Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Zintegrowane układy perowskitowe do polarytonowej logiki spinowej

Konkurs: OPUS 28 , panel: ST3

Kierownik: dr Helgi Sigurdsson

Uniwersytet Warszawski

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Czas w mechanice kwantowej: porównanie interpretacji mechaniki kwantowej w świetle problemu czasu

Konkurs: PRELUDIUM 23 , panel: HS1

Kierownik: Jakub Róg

Uniwersytet Warszawski

Machiańskie ramy dla fizyki kwantowej

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Antonio Vassallo

Politechnika Warszawska

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut 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 Grzegorz 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 Franciszek Bigaj

Uniwersytet Warszawski, Wydział Filozofii

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

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Elżbieta Jennifer 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 Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

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 hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Samoistne struktury w grawitacji kwantowej

Konkurs: OPUS 17 , panel: HS1

Kierownik: dr Antonio Vassallo

Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

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 Grzegorz Placek

Uniwersytet Jagielloński, Wydział Filozoficzny

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

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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