Accéder directement au contenu

Sophie Pinchinat

3
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

"hans-van-ditmarsch"

The Complexity of One-Agent Refinement Modal Logic

Laura Bozzelli , Hans P. Van Ditmarsch , Sophie Pinchinat
IJCAI 2013 - 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès hal-01098744v1