Sciweavers

103 search results - page 5 / 21
» Formal Interpretation and Analysis of Collective Intelligenc...
Sort
View
ATAL
1999
Springer
14 years 27 days ago
Variable Sociability in Agent-Based Decision Making
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...
Lisa Hogg, Nicholas R. Jennings
ESAW
2000
Springer
14 years 6 days ago
Formal Specification and Prototyping of Multi-agent Systems
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-P...
AOSE
2001
Springer
14 years 1 months ago
A Lifecycle for Models of Large Multi-agent Systems
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...
ANTSW
2010
Springer
13 years 6 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
AAAI
2006
13 years 10 months ago
Contract Enactment in Virtual Organizations: A Commitment-Based Approach
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
Yathiraj B. Udupi, Munindar P. Singh