Sciweavers

1354 search results - page 37 / 271
» A Computational Model for a Cooperating Agent System
Sort
View
SEFM
2009
IEEE
15 years 4 months ago
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
Jonathan Ezekiel, Alessio Lomuscio
AROBOTS
2004
125views more  AROBOTS 2004»
14 years 9 months ago
An Architecture for Distributed Environment Sensing with Application to Robotic Cliff Exploration
Future planetary exploration missions will use cooperative robots to explore and sample rough terrain. To succeed robots will need to cooperatively acquire and share data. Here a c...
Vivek A. Sujan, Steven Dubowsky, Terrance L. Hunts...
AI
1999
Springer
14 years 9 months ago
Using Grice's maxim of Quantity to select the content of plan descriptions
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...
R. Michael Young
AIIA
2011
Springer
13 years 9 months ago
An Interaction-Oriented Agent Framework for Open Environments
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
PRIMA
2004
Springer
15 years 3 months ago
Handling Emergent Resource Use Oscillations
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
Mark Klein, Richard Metzler, Yaneer Bar-Yam