17049 search results - page 3011 / 3410 » cans 2007 |
186
click to vote
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
192
click to vote
AAMAS
2007
Springer
15 years 7 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...
185
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
161
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
Preference aggregation in a multiagent setting is a central issue in both human and computer contexts. In this paper, we study in terms of complexity the vulnerability of preferen...
185
click to vote
AIS
2007
Springer
15 years 7 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...