Sciweavers

ESWS
2009
Springer
13 years 8 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
ICRA
2010
IEEE
146views Robotics» more  ICRA 2010»
13 years 9 months ago
Explicit coordinated localization using common visual objects
Abstract— Localization in multi-robot systems is a key problem in multi agent systems. In many cases, specially involving legged robots, like the Robocup soccer competition, it r...
Jose Manuel Peula, Javier Cebolla, Cristina Urdial...
CGF
2005
116views more  CGF 2005»
13 years 10 months ago
RenderBots-Multi-Agent Systems for Direct Image Generation
The term stroke-based rendering collectively describes techniques where images are generated from elements that are usually larger than a pixel. These techniques lend themselves w...
Stefan Schlechtweg, Tobias Germer, Thomas Strothot...
AIL
2008
94views more  AIL 2008»
13 years 11 months ago
Building computational institutions for agents with RoleX
While the sociality of software agents drives toward the definition of institutions for multi agent systems, their autonomy requires that such institutions be ruled by appropriate...
Giacomo Cabri, Luca Ferrari, Rossella Rubino
WOA
2001
14 years 7 days ago
Multi-User and Security Support for Multi-Agent Systems
This paper discusses the requirements an agent system needs to be secure. In particular, the paper introduces a classification of modern distributed systems, and examines the dele...
Agostino Poggi, Giovanni Rimassa, Michele Tomaiuol...
AOSE
2008
Springer
14 years 27 days ago
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
Cu D. Nguyen, Anna Perini, Paolo Tonella
AOSE
2006
Springer
14 years 2 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
CEEMAS
2001
Springer
14 years 3 months ago
Rascal - A Resource Manager for Multi Agent Systems in Smart Spaces
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
Krzysztof Gajos
ATAL
2004
Springer
14 years 4 months ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann
ACOM
2004
Springer
14 years 4 months ago
Optimal Communication Vocabularies and Heterogeneous Ontologies
In this paper, we will consider the alignment of heterogeneous ontologies in multi agent systems. We will start from the idea that each individual agent is specialized in solving ...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...