3729 search results - page 247 / 746 » On Formal Modeling of Agent Computations |
164
click to vote
AAAI
2008
15 years 9 months ago
2008
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
189
click to vote
SG
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Xface, the new version of our open source, platform independent toolkit for developing 3D embodied conversational agents is presented. The toolkit currently incorporates ...
201
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. In this paper, we present a fra...
185
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
184
click to vote
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...