813 search results - page 82 / 163 » Correctness Properties for Multiagent Systems |
135
click to vote
ATAL
2010
Springer
15 years 4 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...
124
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
136
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
120
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The most natural way of thinking about negotiation is probably a situation whereby each of the parties involved initially make a proposal that is particularly beneficial to themse...
139
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...