Sciweavers

813 search results - page 72 / 163
» Correctness Properties for Multiagent Systems
Sort
View
139
Voted
IGPL
2010
111views more  IGPL 2010»
15 years 2 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...
CORR
2010
Springer
143views Education» more  CORR 2010»
14 years 10 months ago
Dynamics of Profit-Sharing Games
An important task in the analysis of multiagent systems is to understand how groups of selfish players can form coalitions, i.e., work together in teams. In this paper, we study t...
John Augustine, Ning Chen, Edith Elkind, Angelo Fa...
AMEC
2004
Springer
15 years 9 months ago
A Mechanism for Multiple Goods and Interdependent Valuations
Abstract. This paper reports on the design of an auction mechanism for allocating multiple goods when the buyers have interdependent valuations. We cast the problem as a multi-agen...
Rajdeep K. Dash, Alex Rogers, Nicholas R. Jennings
ATAL
1999
Springer
15 years 8 months ago
Reasoning about Visibility, Perception and Knowledge
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
Michael Wooldridge, Alessio Lomuscio
AOSE
2007
Springer
15 years 10 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella