ATAL
2006
Springer
13 years 8 months ago
2006
Springer
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
Computer programs able to play different kinds of games (aka bots) is a growing area of interest for the computer game industry as the demand for better skilled computerized oppon...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
Current computational trust models are usually built either on an agent's direct experience of an interaction partner (interaction trust) or reports provided by third parties...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...