2911 search results - page 152 / 583 » A Theory of Expressiveness in Mechanisms |
139
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
139
click to vote
LFP
1990
15 years 7 months ago
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...
148
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
145
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...
130
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...