Doctoral researcher (M/F) in AI - Dynamic logic for conformant and multi-agent epistemic planning

id="offer-description" class="ecl-u-type-heading-2 ecl-u-mt-none ecl-u-mb-l">Offer Description The Institut de Recherche en Informatique de Toulouse (IRIT) is one of the biggest computer science labs in France. Its AI Department has a long-standing tradition of research in knowledge representation and reasoning. The person recruited will work on the site of the University of Toulouse. Coming up with plans to achieve their goals - and more generally deciding and learning how to act - are fundamental problems for intelligent agents. The traditional focus of AI planning is the generation of plans for an individual agent under the hypothesis that no other agent intervenes and that the planning agent has perfect knowledge of the environment and action pre- and postconditions. More expressive forms of planning should include things such as reasoning about other agents' beliefs, goals, intentions and actions ('theory of mind'); learning from past experiences; monitoring the actual outcome of actions and learning possibly unexpected outcomes and dealing with such new outcomes. Applicants should propose a short research project related to these themes (max. 1 page). The candidate will work on the conceptual and formal bases of the planning formalism. They will participate in the research activities of the AI department in particular through the presentation of their results in national and international conferences as well as in the department seminar. We are looking for a candidate w