260 search results - page 16 / 52 » Model Checking Agent Dialogues |
SOMET
2007
15 years 26 days ago
2007
ECAI
2010
Springer
15 years 24 days ago
2010
Springer
MST
2008
14 years 11 months ago
2008
ACL
2003
15 years 1 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...
113
click to vote
ATAL
2004
Springer
15 years 3 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 ...