Sciweavers

ATAL
2010
Springer
13 years 11 months ago
Using graph analysis to study networks of adaptive agent
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
Sherief Abdallah
ATAL
2010
Springer
13 years 11 months ago
Reasoning about agents and protocols via goals and commitments
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...
ATAL
2010
Springer
13 years 11 months ago
A grey-box approach to automated mechanism design
Jinzhong Niu, Kai Cai, Simon Parsons
ATAL
2010
Springer
13 years 11 months ago
Exploiting scale invariant dynamics for efficient information propagation in large teams
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...
Robin Glinton, Paul Scerri, Katia P. Sycara
ATAL
2010
Springer
13 years 11 months ago
Multi robotic exploration with communication requirement to a fixed base station
d Abstract) Piyoosh Mukhija IIIT Hyderabad Rahul Sawhney IIIT Hyderabad K Madhava Krishna IIIT Hyderabad We present an algorithm for multi robotic exploration of an unknown terrai...
Piyoosh Mukhija, Rahul Sawhney, K. Madhava Krishna
ATAL
2010
Springer
13 years 11 months ago
Strategic executions of choreographed timed normative multi-agent systems
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
ATAL
2010
Springer
13 years 11 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
ATAL
2010
Springer
13 years 11 months ago
Minimal retentive sets in tournaments
Felix Brandt, Markus Brill, Felix A. Fischer, Paul...
ATAL
2010
Springer
13 years 11 months ago
A coherence-driven action selection in dynamic environments
Sindhu Joseph, Carles Sierra, W. Marco Schorlemmer
ATAL
2010
Springer
13 years 11 months ago
A systematic agent framework for situated autonomous systems
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
Frederic Py, Kanna Rajan, Conor McGann