260 search results - page 41 / 52 » Model Checking Agent Dialogues |
158
click to vote
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
105
Voted
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
106
click to vote
AAMAS
2007
Springer
15 years 2 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
127
Voted
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
125
Voted
ICCCI
2009
Springer
15 years 6 months ago
2009
Springer
Trust is a sine qua non for trade. According to transaction cost economics, a contract always offers some opportunity to defect. In the case of asymmetric product information, wher...