Sciweavers

7160 search results - page 397 / 1432
» Organizing Multiagent Systems
Sort
View
SAC
1998
ACM
15 years 9 months ago
Coordinating autonomous entities
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
Oliver Krone, Fabrice Chantemargue, Thierry Dagaef...
161
Voted
ATAL
2006
Springer
15 years 8 months ago
Modelling the links between social commitments and individual intentions
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
Philippe Pasquier, Brahim Chaib-draa
132
Voted
AAAI
2008
15 years 7 months ago
Manipulating the Quota in Weighted Voting Games
Weighted voting games provide a popular model of decision making in multiagent systems. Such games are described by a set of players, a list of players' weights, and a quota;...
Michael Zuckerman, Piotr Faliszewski, Yoram Bachra...
169
Voted
ECAI
2010
Springer
15 years 6 months ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
CONCURRENCY
2008
83views more  CONCURRENCY 2008»
15 years 5 months ago
Distributing RePast agent-based simulations with HLA
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...
Rob Minson, Georgios K. Theodoropoulos