Sciweavers

Share
274 search results - page 1 / 55
» Model Checking Agent Dialogues
Sort
View
DALT
2004
Springer
10 years 2 months ago
Model Checking Agent Dialogues
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 ...
Christopher D. Walton
ACOM
2006
Springer
10 years 3 months ago
Temporal Logics for Representing Agent Communication Protocols
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 ...
Ulle Endriss
ARGMAS
2005
Springer
10 years 3 months ago
Argumentation Based Modelling of Embedded Agent Dialogues
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...
Yannis Dimopoulos, Antonis C. Kakas, Pavlos Morait...
AAAI
1990
9 years 10 months ago
Logical Task Modelling for Man-Machine Dialogue
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...
M. David Sadek
FLAIRS
2000
9 years 11 months ago
Using a Reactive Planner as the Basis for a Dialogue Agent
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...
Reva Freedman
books