1353 search results - page 24 / 271 » Streamlined Constraint Reasoning |
TIME
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
ICLP
1994
Springer
13 years 11 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...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
