1650 search results - page 151 / 330 » The HOM problem is decidable |
130
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
137
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...
134
click to vote
ENTCS
2010
15 years 4 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
111
click to vote
JSAC
2008
15 years 4 months ago
2008
We study in this paper a noncooperative approach for sharing resources of a common pool among users, wherein each user strives to maximize its own utility. The optimality notion is...
101
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
We will describe a simulator and simulated teamwork among a number of Personal Satellite Assistants (PSA) onboard the simulated space station patrolling for problem detection and ...