Sciweavers

3038 search results - page 158 / 608
» Issues in Multiagent System Development
Sort
View
FOSSACS
2007
Springer
15 years 11 months ago
On the Expressiveness and Complexity of ATL
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
François Laroussinie, Nicolas Markey, Ghass...
ATAL
2008
Springer
15 years 7 months ago
Extending virtual organizations to improve trust mechanisms
Virtual Organizations (VOs) are becoming an increasingly important research topic in the field of Multi-Agent Systems (MAS). The problem of selecting suitable counterparts to inte...
Ramón Hermoso, Roberto Centeno, Holger Bill...
122
Voted
AAAI
2006
15 years 6 months ago
Quantifying Incentive Compatibility of Ranking Systems
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
Alon Altman, Moshe Tennenholtz
122
Voted
IGPL
2010
101views more  IGPL 2010»
15 years 3 months ago
Robust normative systems and a logic of norm compliance
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
UAI
2004
15 years 6 months ago
Reputation Systems: An Axiomatic Approach
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...
Moshe Tennenholtz