ATAL
2010
Springer
13 years 5 months ago
2010
Springer
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
In the strategyproof classification setting, a set of labeled examples is partitioned among multiple agents. Given the reported labels, an optimal classification mechanism returns...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
Empirical analyses of complex games necessarily focus on a restricted set of strategies, and thus the value of empirical game models depends on effective methods for selectively e...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
