Search results
10 projects found matching your search criteria:
-
1. Dynamical systems and descriptive complexity
Principal investigator: dr Felipe García-Ramos Aguilar
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA 18, Panel: ST1
-
2. From Games to Algorithms: Exploring Reasoning in Description Logics
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski
Call: OPUS 29, Panel: ST6
-
3. Complexity and describability in Analysis: from freeness to polishness
Principal investigator: dr hab. Tomasz Marcin Kania
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA BIS 13, Panel: ST1
-
4. Automation of the Problem of Unification in Description Logics
Principal investigator: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Call: POLONEZ BIS 3, Panel: ST6
-
5. Automatic reasoning about specifications in simple logics - decidability and complexity issues
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 5, Panel: ST6
-
Principal investigator: dr hab. Mariusz Jacek Białecki
Instytut Geofizyki PAN
Call: OPUS 14, Panel: ST10
-
7. Decision Problems for Logics with Weak Forms of Recursion
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Call: PRELUDIUM 23, Panel: ST6
-
8. DATALOG in Constraint Satisfaction Problem
Principal investigator: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 1, Panel: ST6
-
9. Polishability of analytic equivalence relations and generalized Scott analysis
Principal investigator: Mateusz Lichman
Politechnika Łódzka
Call: PRELUDIUM 24, Panel: ST1
-
10. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 6, Panel: HS1