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

Doctoral researcher (M/F) in AI - Dynamic logic for conformant and multi-agent epistemic planning CNRS - National Center for Scientific Research Computer scienceMathematics » Algorithms 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...