Sciweavers

127 search results - page 3 / 26
» Aggregates in Constraint Handling Rules
Sort
View
PPDP
2005
Springer
14 years 4 months ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
CORR
2010
Springer
50views Education» more  CORR 2010»
13 years 11 months ago
A Complete and Terminating Execution Model for Constraint Handling Rules
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
ACL
1992
14 years 12 hour 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
ICIW
2009
IEEE
13 years 8 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