As time goes by: constraint handling rules
From MaRDI portal
Publication:3400960
DOI10.1017/S1471068409990123zbMATH Open1186.68096OpenAlexW2107415004WikidataQ60358210 ScholiaQ60358210MaRDI QIDQ3400960FDOQ3400960
Authors: Jon Sneyers, Peter van Weert, Tom Schrijvers, Leslie De Koninck 
Publication date: 28 January 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068409990123
Recommendations
Cites Work
- Confluence and semantics of constraint simplification rules
- Constraint Handling Rules
- Understanding functional dependencies via constraint handling rules
- Title not available (Why is that?)
- Principal Type Inference for GHC-Style Multi-parameter Type Classes
- Automatic generation of rule-based constraint solvers over finite domains
- A compositional semantics for CHR
- Optimal union-find in Constraint Handling Rules
- The Munich Rent Advisor: A success for logic programming on then Internet
- Opium: an extendable trace analyzer for Prolog
- A Unified Semantics for Constraint Handling Rules in Transaction Logic
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
- Parallelism, concurrency and distribution in constraint handling rules: a survey
- Constraint solving with constraint handling rules
- Optimization of CHR Propagation Rules
- Decidability properties for fragments of CHR
- On proving confluence modulo equivalence for Constraint Handling Rules
- CHR(PRISM)-based probabilistic logic learning
- Constraint handling rules with binders, patterns and generic quantification
- Guard Reasoning in the Refined Operational Semantics of CHR
Uses Software
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)
