Sciweavers

482 search results - page 58 / 97
» Argumentation-Based Communication between Agents
Sort
View
ATAL
2005
Springer
14 years 3 months ago
What kind of argument are we going to have today?
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
Eva Cogan, Simon Parsons, Peter McBurney
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
14 years 2 months ago
Consensus on homogeneous manifolds
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
Alain Sarlette, Rodolphe Sepulchre
ATAL
2010
Springer
13 years 11 months ago
Improving DPOP with function filtering
DPOP is an algorithm for distributed constraint optimization which has, as main drawback, the exponential size of some of its messages. Recently, some algorithms for distributed c...
Ismel Brito, Pedro Meseguer
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
13 years 4 months ago
Distributed self-triggered control for multi-agent systems
Abstract-- It is desirable to limit the amount of communication and computation generated by each agent in a large multi-agent system. Event- and self-triggered control strategies ...
Dimos V. Dimarogonas, Emilio Frazzoli, Karl Henrik...
ASM
2005
ASM
14 years 3 months ago
Verifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...