Projects funded by the NCN

Molecular and biochemical characterization of eukaryotic C9orf41 protein.

Call: OPUS 6 , Panel: NZ1

Principal investigator: dr Jakub Drożak

Uniwersytet Warszawski, Wydział Biologii

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

Call: MAESTRO 2 , Panel: HS1

Principal investigator: prof. Andrzej Wiśniewski

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

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

First Order Logic and Beyond. Some Puzzles in Database Theory.

Call: OPUS 23 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

Call: OPUS 21 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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