Projects funded by the NCN

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

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automation of the Problem of Unification in Description Logics

Call: POLONEZ BIS 3 , Panel: ST6

Principal investigator: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Ethnography as personal experiance. Generation ground of methodology and fieldwork practice transformation

Call: PRELUDIUM 1 , Panel: HS3

Principal investigator: Filip Wróblewski

Uniwersytet Jagielloński, Wydział Historyczny

Category of race in the philosophy of medicine: conceptualisation and application of the category of race in biomedical ...

Call: SONATA 16 , Panel: HS1

Principal investigator: dr Joanna Karolina Malinowska

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Permissions, Information and Institutional Dynamics, Obligations, and Rights

Call: BEETHOVEN 1 , Panel: HS1

Principal investigator: dr hab. Piotr Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Descriptive set theory: structure and dynamics of Polish groups

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Combinatorial and descriptive properties of ideals on countable sets.

Call: PRELUDIUM 4 , Panel: ST1

Principal investigator: dr Adam Kwela

Instytut Matematyczny PAN

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Bednarczyk

Uniwersytet Wrocławski

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Logic of language experience

Call: OPUS 2 , Panel: HS1

Principal investigator: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Attributive Use of Definite Descriptions

Call: PRELUDIUM 5 , Panel: HS1

Principal investigator: Wojciech Rostworowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Methodological framework for the ivestigation of the role of responsibility and other values in socially oriented design...

Call: PRELUDIUM 6 , Panel: HS1

Principal investigator: dr Rafał Wodzisz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

Call: OPUS 6 , Panel: HS1

Principal investigator: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii