Logical Task Modelling for Man-Machine Dialogue. - M. David Sadek (AAAI, 1990)

A Study in the Logic of Intention. - M. David Sadek (KR, 1992)

An efficient data-driven model for cooperative spoken dialogue. - Alexandre Ferrieux; M. David Sadek (ICSLP, 1994)

Towards a theory of belief reconstruction: Application to communication. - M. David Sadek (Speech Communication, 1994)

A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction. - Philippe Bretier; M. David Sadek (ATAL, 1996)

Effective human-computer cooperative spoken dialogue: the AGS demonstrator. - M. David Sadek; Alexandre Ferrieux; A. Cozannet; Philippe Bretier; Franck Panaget; J. Simonin (ICSLP, 1996)

ARTIMIS: Natural Dialogue Meets Rational Agency. - M. David Sadek; Philippe Bretier; Franck Panaget (IJCAI (2), 1997)