Search results
16 projects found matching your search criteria:
-
Principal investigator: dr Grzegorz Paweł Bryda
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: OPUS 12, Panel: HS6
-
Principal investigator: dr Anna Leśniewska
Politechnika Poznańska, Wydział Informatyki
Call: SONATA 9, Panel: ST6
-
Principal investigator: prof. Artur Jerzy Przelaskowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Call: OPUS 2, Panel: ST7
-
4. Infinity in reasoning about data and knowledge
Principal investigator: dr hab. Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 8, Panel: ST6
-
5. Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)
Principal investigator: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: PRELUDIUM 2, Panel: ST6
-
Principal investigator: Jaromar Marceli Łukowicz
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
Call: PRELUDIUM 3, Panel: HS4
-
7. Everything I know: a syntactical approach to only-knowing
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 29, Panel: ST6
-
8. Dynamic epistemic logic and the problem of logical omniscience
Principal investigator: Arkadiusz Jerzy Wójcik
Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki
Call: PRELUDIUM 21, Panel: HS1
-
9. A model of autonomic management of the components of the Cloud-native execution environment
Principal investigator: dr Joanna Katarzyna Kosińska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: OPUS 29, Panel: ST6
-
10. Decision Problems for Logics with Weak Forms of Recursion
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Call: PRELUDIUM 23, Panel: ST6
-
11. Languages and Learning in General Game Playing
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 7, Panel: ST6
-
Principal investigator: dr hab. Paweł Rafał Garbacz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II
Call: OPUS 4, Panel: HS1
-
13. File-less architecture of large scale distributed information systems
Principal investigator: dr Bartosz Andrzej Kryza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 3, Panel: ST6
-
14. New methods for the automatic synthesis and exploration of sequential data
Principal investigator: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Call: SONATA 2, Panel: ST6
-
15. A methodology for designing hierarchical Business Processes integrated with Business Rules
Principal investigator: Krzysztof Kluza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: PRELUDIUM 2, Panel: ST6
-
16. Logics for qualitative reasoning
Principal investigator: dr hab. Joanna Golińska-Pilarek
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: MAESTRO 1, Panel: HS1