As time goes by: constraint handling rules
From MaRDI portal
Publication:3400960
Recommendations
Cites work
- scientific article; zbMATH DE number 1179344 (Why is no real title available?)
- A Unified Semantics for Constraint Handling Rules in Transaction Logic
- A compositional semantics for CHR
- Automatic generation of rule-based constraint solvers over finite domains
- Confluence and semantics of constraint simplification rules
- Constraint Handling Rules
- Opium: an extendable trace analyzer for Prolog
- Optimal union-find in Constraint Handling Rules
- Principal Type Inference for GHC-Style Multi-parameter Type Classes
- The Munich Rent Advisor: A success for logic programming on then Internet
- Understanding functional dependencies via constraint handling rules
Cited in
(18)- Concurrent goal-based execution of constraint handling rules
- CHR for Imperative Host Languages
- Welcome to Constraint Handling Rules
- On termination, confluence and consistent CHR-based type inference
- Confluence modulo equivalence in Constraint Handling Rules
- SMCHR: satisfiability modulo constraint handling rules
- A complete and terminating execution model for constraint handling rules
- Combining forward and backward propagation
- Exhaustive Execution of CHR Through Source-to-Source Transformation
- Models and emerging trends of concurrent constraint programming
- Constraint solving with constraint handling rules
- Parallelism, concurrency and distribution in constraint handling rules: a survey
- Optimization of CHR Propagation Rules
- On proving confluence modulo equivalence for Constraint Handling Rules
- Decidability properties for fragments of CHR
- CHR(PRISM)-based probabilistic logic learning
- Constraint handling rules with binders, patterns and generic quantification
- Guard Reasoning in the Refined Operational Semantics of CHR
This page was built for publication: As time goes by: constraint handling rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400960)