260 search results - page 8 / 52 » Model Checking Agent Dialogues |
ATAL
2005
Springer
14 years 7 days ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
WOA
2001
13 years 8 months ago
2001
This paper proposes a coordination model, for both nd mobile agents, based on abstract structures called Communicators, entities which handle agent dialogue performed through ACL ...
IVA
2009
Springer
13 years 11 months ago
2009
Springer
We describe the design and evaluation of an agent that uses the fillers um and uh in its speech. We describe an empirical study of human-human dialogue, analyzing gaze behavior dur...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
AI
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...