628 search results - page 44 / 126 » Specifying Multiagent Organizations |
108
click to vote
NIPS
2004
15 years 4 months ago
2004
We propose a new set of criteria for learning algorithms in multi-agent systems, one that is more stringent and (we argue) better justified than previous proposed criteria. Our cr...
138
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
134
Voted
LOGCOM
2002
15 years 2 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
121
click to vote
SELMAS
2005
Springer
15 years 8 months ago
2005
Springer
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
107
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
The rapidly rising cost and environmental impact of energy consumption in data centers has become a multi-billion dollar concern globally. In response, the IT Industry is actively...