732 search results - page 133 / 147 » A Formal Model of Provenance in Distributed Systems |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
ECAIW
1994
Springer
15 years 1 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
101
click to vote
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...