Sciweavers

1120 search results - page 18 / 224
» A Formal Framework for Interactive Agents
Sort
View
AAMAS
2005
Springer
14 years 9 months ago
Efficient Management of Multi-Linked Negotiation Based on a Formalized Model
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
Xiaoqin Zhang, Victor R. Lesser, Sherief Abdallah
IAT
2009
IEEE
15 years 1 months ago
Adaptive Deterrence Sanctions in a Normative Framework
Normative environments are used to regulate multiagent interactions. In business encounters, agents representing business entities make contracts including norms that prescribe wh...
Henrique Lopes Cardoso, Eugénio C. Oliveira
LOGCOM
1998
126views more  LOGCOM 1998»
14 years 9 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
15 years 3 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 ...
AGENTCL
2003
Springer
15 years 2 months ago
Commitment and Argument Network: A New Formalism for Agent Communication
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa