260 search results - page 1 / 52 » Model Checking Agent Dialogues |
DALT
2004
Springer
13 years 9 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
ACOM
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
ARGMAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
AAAI
1990
13 years 5 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
FLAIRS
2000
13 years 5 months ago
2000
Thispaper describesAPE(the Atlas PlanningEngine),the reactive planner at the center of the Atlas dialogue managementsystem. The goal of Atlas is to build conversation-basedsystems...