260 search results - page 7 / 52 » Model Checking Agent Dialogues |
EPIA
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. A theoretical model for agents interaction to study semantic heterogeneity is proposed. The context of this study is informational agents with knowledge bases that are he...
CA
2003
IEEE
14 years 5 hour ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
IPMU
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Dialogue moves influence and are influenced by the agents’ preferences. We propose a method for modelling this interaction. We motivate and describe a recursive metho...
AMAI
2004
Springer
14 years 3 days ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
ARGMAS
2008
Springer
13 years 8 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...