260 search results - page 8 / 52 » Model Checking Agent Dialogues |
91
Voted
ATAL
2005
Springer
15 years 5 months 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
15 years 1 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
15 years 4 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
15 years 23 days ago
2010
Springer
AI
2003
Springer
15 years 4 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...