3729 search results - page 76 / 746 » On Formal Modeling of Agent Computations |
120
click to vote
ISAMI
2010
14 years 9 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
AAAI
1994
15 years 1 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
100
click to vote
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
116
click to vote
WOA
2003
15 years 1 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
120
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...