41
Voted
ATAL
2010
Springer
15 years 17 days ago
2010
Springer
40
Voted
ATAL
2010
Springer
15 years 17 days ago
2010
Springer
94
Voted
ATAL
2010
Springer
15 years 17 days 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...
91
Voted
ATAL
2010
Springer
15 years 17 days 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...
67
Voted
ATAL
2010
Springer
15 years 17 days ago
2010
Springer
36
Voted
ATAL
2010
Springer
15 years 17 days ago
2010
Springer
80
Voted
ATAL
2010
Springer
15 years 17 days 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...
83
Voted
ATAL
2010
Springer
15 years 17 days 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...
78
Voted
ATAL
2010
Springer
15 years 17 days 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 ...
57
Voted
ATAL
2010
Springer
15 years 17 days ago
2010
Springer
