Projects funded by the NCN

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ontology of metaphysics

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Paweł Rafał Garbacz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

File-less architecture of large scale distributed information systems

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Bartosz Andrzej Kryza

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Modelling of dynamic spatial phenomena, combining static / spatial representation and dynamic / temporal context, for su...

Call: PRELUDIUM 3 , Panel: HS4

Principal investigator: Jaromar Marceli Łukowicz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Computed medical image understanding based on integration of signals acquisition, information representation and knowled...

Call: OPUS 2 , Panel: ST7

Principal investigator: prof. Artur Jerzy Przelaskowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

New methods for the automatic synthesis and exploration of sequential data

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Radosław Ziembiński

Politechnika Poznańska, Wydział Informatyki

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Dynamic epistemic logic and the problem of logical omniscience

Call: PRELUDIUM 21 , Panel: HS1

Principal investigator: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

A methodology for designing hierarchical Business Processes integrated with Business Rules

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Krzysztof Kluza

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Logics for qualitative reasoning

Call: MAESTRO 1 , Panel: HS1

Principal investigator: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Infinity in reasoning about data and knowledge

Call: SONATA BIS 8 , Panel: ST6

Principal investigator: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

From paradigm to the research method. The domain ontology as a model of knowledge representation about the contemporary ...

Call: OPUS 12 , Panel: HS6

Principal investigator: dr Grzegorz Paweł Bryda

Uniwersytet Jagielloński, Wydział Filozoficzny