3729 search results - page 13 / 746 » On Formal Modeling of Agent Computations |
MASA
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
ASWEC
2004
IEEE
15 years 3 months ago
2004
IEEE
BIOSTEC
2008
15 years 1 months ago
2008
DAGSTUHL
2007
15 years 1 months ago
2007
106
click to vote
IAT
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...