260 search results - page 9 / 52 » Model Checking Agent Dialogues |
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
ICEIS
2005
IEEE
14 years 9 days ago
2005
IEEE
AUSAI
2001
Springer
13 years 11 months ago
2001
Springer
LREC
2010
13 years 8 months ago
2010
In this paper, we describe our experience with collecting and creating an annotated corpus of multi-party online conversations in a chat-room environment. This effort is part of a...
AUSAI
2005
Springer
14 years 5 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...