Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
to: Investigate how logical and philosophical theories can support the structuring and modelling of knowledge in practical contexts. Participate in the development of IMF by bringing in methods from formal ontology
-
transformation over the time. Taking this research further may mean considering the dynamics of the precedence graph, with a more general mathematical formulation and dedicated exact or heuristic methods. It may
-
, laying the foundations of next generation machine learning. We do this by combining the mathematical and computational cultures, and the methodologies and theories, of statistics, logic, language
-
project bridges two foundational fields in computer science and mathematics: Theory of Algorithms and Extremal Combinatorics. By integrating these areas, the project seeks to develop innovative