2911 search results - page 40 / 583 » A Theory of Expressiveness in Mechanisms |
167
click to vote
SIGECOM
2006
ACM
16 years 2 days ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
156
click to vote
ATAL
2010
Springer
15 years 7 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...
211
click to vote
AIMS
2008
Springer
16 years 14 days ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
132
click to vote
LATA
2009
Springer
16 years 27 days ago
2009
Springer
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
170
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...