260 search results - page 9 / 52 » Model Checking Agent Dialogues |
142
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
149
click to vote
LREC
2010
15 years 7 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...
158
Voted
AUSAI
2005
Springer
15 years 11 months 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...