Sort by
Refine Your Search
-
Category
-
Field
-
University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models
-
machine learning with the logical reasoning and semantic understanding of symbolic AI (often referred to as material and design informatics) is being developed for the accelerated discovery and development
-
which -but not limited to- the lack of reasoning capabilities to output consistent arguments that convey formal logical relations beyond the surface level of arguments, their limited generalizability
-
-scalar spatio-temporal systems while proposing new frameworks for understanding urban dynamics through the combination of mathematical formalisms and geoinformatics. Methodologically, it aims
-
students' historical reasoning in non-formal settings. Interactive Learning Environments Hageneuer, S. (2020). Communicating Past in the Digital Age. In Intern. Conf. on Digital Methods in Teaching and
-
Alpes, the program aims to formalize a new science of risk in order to contribute to the development of a national strategy for disaster and risk management in the context of global change. The PhD