ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
This paper proposes the requirements driven agent collaboration. This proposal assumes that there are plenty different service agents distributed in Internet. When a request for ...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Voting is a general method for aggregating the preferences of multiple agents. Each agent ranks all the possible alternatives, and based on this, an aggregate ranking of the alter...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
There are many studies on ABS and several frameworks for ABS have already been published. However, there are few frameworks that can enable agent-based simulation using large numb...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
ATAL
2007
Springer
2007
Springer
Agent coordination by trade-off between locally diffusion effects and socially structural influences
13 years 11 months ago
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...