Projects funded by the NCN

From Games to Algorithms: Exploring Reasoning in Description Logics

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Barbara Morawska

Uniwersytet Opolski

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

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

Logic of language experience

Call: OPUS 2 , Panel: HS1

Principal investigator: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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