4218 search results - page 18 / 844 » Complete sets of cooperations |
TCC
2009
Springer
14 years 8 months ago
2009
Springer
Gordon et al. recently showed that certain (non-trivial) functions can be computed with complete fairness in the two-party setting. Motivated by their results, we initiate a study...
ALDT
2009
Springer
14 years 2 months ago
2009
Springer
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
APAL
2005
13 years 7 months ago
2005
We investigate operators which take a set X to a set relatively computably enumerable in and above X by studying which such sets X can be so mapped into the Turing degree of K. We...
JAIR
2008
13 years 7 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
CDVE
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a new construction management cooperated with clients using a parametric information design method for road construction. This management has been found to be e...