Sciweavers

54 search results - page 5 / 11
» A Hybrid Diagnostic-Recommendation System for Agent Executio...
Sort
View
AOSE
2008
Springer
13 years 9 months 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
PAAMS
2010
Springer
13 years 5 months ago
ASGARD - A Graphical Monitoring Tool for Distributed Agent Infrastructures
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
Jakob Tonn, Silvan Kaiser
CAV
2009
Springer
239views Hardware» more  CAV 2009»
13 years 11 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
ENC
2004
IEEE
13 years 11 months ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
GAMEON
2003
13 years 8 months ago
Multi-Agent Based Modelling: from Social Simulation to Real Time Strategy Games
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
Marco Remondino