Sort by
Refine Your Search
-
, the cores of the systems’ reasoning engines typically remain ‘symbolic’ (knowledge-based). These symbolic or neuro-symbolic software systems are of high practical complexity, which makes them difficult
-
of expertise and curiosity. Karolinska Institutet is one of the world's leading medical universities. Our vision is to pursue the development of knowledge about life and to promote a better health for all
-
areas, engaging in both theoretical and experimental research in: Data-driven and learning based control - Data-driven adaptive motion planning - Cognitive reasoning, symbolic knowledge representation
-
Luleå University of Technology is in strong growth with world-leading competence in several research areas. We shape the future through innovative education and ground-breaking research results, and
-
Luleå University of Technology is in strong growth with world-leading competence in several research areas. We shape the future through innovative education and ground-breaking research results, and
-
social issues that require more knowledge. In order to both sustainably use and safeguard forest biodiversity, a coherent basic science research program is needed that addresses large and complex issues
-
Luleå University of Technology is in strong growth with world-leading competence in several research areas. We shape the future through innovative education and ground-breaking research results, and
-
Luleå University of Technology is in strong growth with world-leading competence in several research areas. We shape the future through innovative education and ground-breaking research results, and
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
Welcome to Linnaeus University! Here you'll meet 2 200 staff members and 40 000 students, all united in following the vision to set knowledge in motion for a sustainable societal development. With