260 search results - page 16 / 52 » Model Checking Agent Dialogues |
SOMET
2007
13 years 7 months ago
2007
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
MST
2008
13 years 6 months ago
2008
ACL
2003
13 years 8 months ago
2003
We investigate the verbal and nonverbal means for grounding, and propose a design for embodied conversational agents that relies on both kinds of signals to establish common groun...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...