Sciweavers

127 search results - page 1 / 26
» Aggregates in Constraint Handling Rules
Sort
View
ICLP
2007
Springer
14 years 11 days ago
Aggregates in Constraint Handling Rules
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart...
LOPSTR
2007
Springer
14 years 2 months ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
JACIII
2006
68views more  JACIII 2006»
13 years 8 months ago
Converting Constraint Handling Rules to Equivalent Transformation Rules
Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi,...
CI
2004
85views more  CI 2004»
13 years 8 months ago
Soft Constraint Propagation and Solving in Constraint Handling Rules
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
PPDP
2010
Springer
13 years 6 months ago
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
Thierry Martinez