Sciweavers

127 search results - page 3 / 26
» Aggregates in Constraint Handling Rules
Sort
View
79
Voted
PPDP
2005
Springer
15 years 6 months ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
32
Voted
CORR
2010
Springer
50views Education» more  CORR 2010»
15 years 27 days ago
A Complete and Terminating Execution Model for Constraint Handling Rules
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
86
Voted
ACL
1992
15 years 1 months ago
Handling Linear Precedence Constraints by Unification
Linear precedence (LP) rules are widely used for stating word order principles. They have been adopted as constraints by HPSG but no encoding in the formalism has been provided. S...
Judith Engelkamp, Gregor Erbach, Hans Uszkoreit
124
Voted
ICIW
2009
IEEE
14 years 10 months ago
Constraint Integration and Violation Handling for BPEL Processes
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
MingXue Wang, Kosala Yapa Bandara, Claus Pahl