Sciweavers

1120 search results - page 18 / 224
» A Formal Framework for Interactive Agents
Sort
View
96
Voted
AAMAS
2005
Springer
15 years 10 days 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
99
Voted
IAT
2009
IEEE
15 years 4 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
122
Voted
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 2 days 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 5 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 ...
176
Voted
AGENTCL
2003
Springer
15 years 5 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