4894 search results - page 587 / 979 » Choices |
169
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
165
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
We have started a systematic study of global constraints on set and multiset variables. We consider here disjoint, partition, and intersection constraints in conjunction with cardi...
153
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
185
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
163
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Agents that exist in an environment that changes over time, and are able to take into account the temporal nature of experience, are commonly called incremental learners. It is wid...