Parameterized Algorithmics for Computational Social Choice: Nine Research Challenges [PDF]
, 2014 Computational Social Choice is an interdisciplinary research area involving Economics, Political Science, and Social Science on the one side, and Mathematics and Computer Science (including Artificial Intelligence and Multiagent Systems) on the other ...
Bredereck, Robert +5 more
core +3 more sources
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications [PDF]
, 2014 We introduce MCMAS-SLK, a BDD-based model checker for the verification of systems against specifications expressed in a novel, epistemic variant of strategy logic.
Lomuscio, Alessio +3 more
core +2 more sources
Modeling Adversaries in a Logic for Security Protocol Analysis [PDF]
, 2012 Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which considers only adversaries that can compose and replay messages, and ...
Halpern, Joseph Y., Pucella, Riccardo
core +1 more source
Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems
, 2009 In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize, guide, regulate or control interaction among distributed autonomous systems.
BOELLA, Guido +2 more
openaire +6 more sources
A new agents-based model for dynamic job allocation in manufacturing shopfloors [PDF]
, 2012 Market-based mechanisms such as the contract net protocol (CNP) are very popular for dynamic job allocation in distributed manufacturing control and scheduling. The CNP can be deployed with different configurations of the system elements.
Anane, Rachid +3 more
core +1 more source
Soft behaviour modelling of user communities [PDF]
, 2018 A soft modelling approach for describing behaviour in on-line user communities is introduced in this work. Behaviour models of individual users in dynamic virtual environments have been described in the literature in terms of timed transition automata ...
Franzoni, Valentina, Milani, Alfredo
core
Allocating Limited Resources to Protect a Massive Number of Targets using a Game Theoretic Model [PDF]
, 2019 Resource allocation is the process of optimizing the rare resources. In the area of security, how to allocate limited resources to protect a massive number of targets is especially challenging.
Huamin Yang +7 more
core +2 more sources
Coupled Replicator Equations for the Dynamics of Learning in Multiagent Systems
, 2002 Starting with a group of reinforcement-learning agents we derive coupled replicator equations that describe the dynamics of collective learning in multiagent systems.
B. Kerr +15 more
core +1 more source
AWESOME: A General Multiagent Learning Algorithm that Converges in Self-Play and Learns a Best Response Against Stationary Opponents [PDF]
, 2003 A satisfactory multiagent learning algorithm should, {\em at a minimum}, learn to play optimally against stationary opponents and converge to a Nash equilibrium in self-play.
Conitzer, Vincent, Sandholm, Tuomas
core +2 more sources
History Based Coalition Formation in Hedonic Context Using Trust
, 2013 In this paper we address the problem of coalition formation in hedonic context. Our modelling tries to be as realistic as possible. In previous models, once an agent joins a coalition it would not be able to leave the coalition and join the new one; in ...
Allan, Vicki H. +1 more
core +1 more source