AAMAS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
AAMAS
2006
Springer
13 years 9 months ago
2006
Springer
AAMAS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. There are many domains in which a multi-agent system needs to maximize a "system utility" function which rates the performance of the entire system, while subje...
AIS
2007
Springer
13 years 9 months ago
2007
Springer
This paper instigates a discourse on the unplanned effects of intelligent agents in the context of their use on the Internet. By utilizing a social informatics framework as a lens...
AI
2007
Springer
13 years 9 months ago
2007
Springer
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
Abstract – Despite increasing deployment of agent technologies in several business and industry domains, user confidence in fully automated agent driven applications is noticeab...
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. In the multiagent meeting scheduling problem, agents negotiate with each other on behalf of their users to schedule meetings. While a number of negotiation approaches hav...
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
An original Reinforcement Learning (RL) methodology is proposed for the design of multi-agent systems. In the realistic setting of situated agents with local perception, the task o...