3729 search results - page 3 / 746 » On Formal Modeling of Agent Computations |
69
Voted
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
60
Voted
ICNS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
AAMAS
2008
Springer
14 years 11 months ago
2008
Springer
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...