Sciweavers

ATAL
2010
Springer
14 years 1 months ago
On the limits of dictatorial classification
In the strategyproof classification setting, a set of labeled examples is partitioned among multiple agents. Given the reported labels, an optimal classification mechanism returns...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...
ATAL
2010
Springer
14 years 1 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
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...
Jan Broersen
ATAL
2010
Springer
14 years 1 months ago
Inductively generated trust alignments based on shared interactions
Andrew Koster, Jordi Sabater-Mir, W. Marco Schorle...
ATAL
2010
Springer
14 years 1 months ago
Runtime monitoring of contract regulated web services
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...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...
ATAL
2010
Springer
14 years 1 months ago
Strategy exploration in empirical games
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...
Patrick R. Jordan, L. Julian Schvartzman, Michael ...
ATAL
2010
Springer
14 years 1 months ago
Opportunistic belief reconciliation during distributed interactions
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
Paul Martin, David Robertson, Michael Rovatsos
ATAL
2010
Springer
14 years 1 months ago
Requesting agent participation in electronic institutions
Hector G. Ceballos, Pablo Noriega, Francisco J. Ca...