As time goes by: Constraint Handling Rules
From MaRDI portal
Publication:3400960
DOI10.1017/S1471068409990123zbMath1186.68096OpenAlexW2107415004WikidataQ60358210 ScholiaQ60358210MaRDI QIDQ3400960
Leslie de Koninck, Tom Schrijvers, Jon Sneyers, Peter van Weert
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
Related Items (16)
Concurrent goal-based execution of Constraint Handling Rules ⋮ Parallelism, concurrency and distribution in constraint handling rules: A survey ⋮ On Termination, Confluence and Consistent CHR-based Type Inference ⋮ Confluence Modulo Equivalence in Constraint Handling Rules ⋮ Exhaustive Execution of CHR Through Source-to-Source Transformation ⋮ Constraint handling rules with binders, patterns and generic quantification ⋮ Combining Forward and Backward Propagation ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ SMCHR: Satisfiability modulo constraint handling rules ⋮ CHR(PRISM)-based probabilistic logic learning ⋮ A complete and terminating execution model for Constraint Handling Rules ⋮ Decidability properties for fragments of CHR ⋮ CHR for Imperative Host Languages ⋮ Guard Reasoning in the Refined Operational Semantics of CHR ⋮ Optimization of CHR Propagation Rules ⋮ Models and emerging trends of concurrent constraint programming
Uses Software
Cites Work
- Unnamed Item
- Confluence and semantics of constraint simplification rules
- A compositional semantics for CHR
- Understanding functional dependencies via constraint handling rules
- Optimal union-find in Constraint Handling Rules
- Constraint Handling Rules
- The Munich Rent Advisor: A success for logic programming on then Internet
- Opium: an extendable trace analyzer for Prolog
- Automatic generation of rule-based constraint solvers over finite domains
- Principal Type Inference for GHC-Style Multi-parameter Type Classes
- A Unified Semantics for Constraint Handling Rules in Transaction Logic
This page was built for publication: As time goes by: Constraint Handling Rules