Sciweavers

913 search results - page 2 / 183
» Formal Agent Development: Framework to System
Sort
View
LOGCOM
1998
126views more  LOGCOM 1998»
13 years 5 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
GCC
2004
Springer
13 years 11 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
ATAL
2004
Springer
13 years 11 months ago
The SPARK Agent Framework
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
David N. Morley, Karen L. Myers
ICCCI
2009
Springer
13 years 3 months ago
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
Juan José Pardo, Manuel Núñez...