Sort by
Refine Your Search
-
Employer
- Umeå University
- Luleå University of Technology
- Uppsala universitet
- Chalmers University of Technology
- Linköping University
- Linköpings universitet
- Linnaeus University
- Lulea University of Technology
- Nature Careers
- Stockholms universitet
- Swedish University of Agricultural Sciences
- Umeå universitet
- 2 more »
- « less
-
Field
-
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
Searches related to knowledge reasoning
Enter an email to receive alerts for knowledge-reasoning positions