Projects funded by the NCN

The role of the concept of misrepresentation in the modern theories of mental representations

Call: PRELUDIUM 3 , Panel: HS1

Principal investigator: Krystyna Bielecka

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logics for qualitative reasoning

Call: MAESTRO 1 , Panel: HS1

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

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

File-less architecture of large scale distributed information systems

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Bartosz Kryza

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

Ontology of metaphysics

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Paweł Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

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 Bryda

Uniwersytet Jagielloński, Wydział Filozoficzny

Singularity and content

Call: PRELUDIUM 12 , Panel: HS1

Principal investigator: Maria Matuszkiewicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Bednarczyk

Uniwersytet Wrocławski

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

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

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

Call: PRELUDIUM 3 , Panel: HS4

Principal investigator: Jaromar Łukowicz

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

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

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

Call: OPUS 2 , Panel: ST7

Principal investigator: prof. Artur Przelaskowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych