260 search results - page 17 / 52 » Model Checking Agent Dialogues |
ATAL
2005
Springer
14 years 8 days ago
2005
Springer
In this paper we present a rich decision model for intelligent agents involved in multi issue negotiations. The model, grounded on information theory, takes into account the aspec...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Due to its important role in dialogue, politeness has been widely studied both from a theoretical point of view and at a practical level in virtual agents. However, few attention ...
LDVF
2000
13 years 6 months ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
ARGMAS
2004
Springer
13 years 10 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
ATAL
2003
Springer
13 years 12 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...