Sciweavers

170 search results - page 5 / 34
» A formal approach to negotiating agents development
Sort
View
ICMAS
1998
13 years 9 months ago
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
Munindar P. Singh
ICWS
2003
IEEE
13 years 9 months ago
Towards Agent-Based Rational Service Composition - RACING Approach
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
Vadim Ermolayev, Natalya Keberle, Sergey Plaksin
DFKI
2005
Springer
14 years 1 months ago
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
Martin Meister 0002, Diemo Urbig, Kay Schröte...
ATAL
2005
Springer
14 years 1 months ago
A real-world approach to secure and trusted negotiation in MASs
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
Roberto Bianchi, Andrea Fontana, Federico Bergenti
AAMAS
2004
Springer
13 years 7 months ago
Temporal Development Methods for Agent-Based
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
Michael Fisher