Projects funded by the NCN

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

Attributive Use of Definite Descriptions

Call: PRELUDIUM 5 , Panel: HS1

Principal investigator: Wojciech Andrzej Rostworowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

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

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Automation of the Problem of Unification in Description Logics

Call: POLONEZ BIS 3 , Panel: ST6

Principal investigator: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut 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 Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki