1402 search results - page 240 / 281 » A Practical Agent Programming Language |
118
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
107
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
110
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...
101
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
113
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...