127 search results - page 4 / 26 » Aggregates in Constraint Handling Rules |
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a...
116
click to vote
ICDE
2012
IEEE
13 years 1 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
102
click to vote
CSCLP
2005
Springer
15 years 4 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
COLING
2000
15 years 9 days ago
2000
In this paper, lmrsing-as-deduction and constraint programming are brought together to outline a procedure for the speeitication of constraint-based chart parsers. Fob lowing the ...
108
click to vote
CP
2008
Springer
15 years 22 days ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...