Theory and practice of constraint handling rules
From MaRDI portal
Publication:4245936
DOI10.1016/S0743-1066(98)10005-5zbMath0920.68029OpenAlexW2079333278WikidataQ60358208 ScholiaQ60358208MaRDI QIDQ4245936
Publication date: 23 September 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10005-5
Related Items (55)
ECLiPSe – From LP to CLP ⋮ Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR ⋮ Termination of floating-point computations ⋮ Parsing as semantically guided constraint solving: the role of ontologies ⋮ Shape Neutral Analysis of Graph-based Data-structures ⋮ Attributed Data for CHR Indexing ⋮ Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Demand-Driven Normalisation for ACD Term Rewriting ⋮ Proving Termination by Invariance Relations ⋮ Automating Termination Proofs for CHR ⋮ The expressive power of CHR with priorities ⋮ Confluence Modulo Equivalence in Constraint Handling Rules ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Constraint handling rules with binders, patterns and generic quantification ⋮ Unfolding for CHR programs ⋮ Programming in logic without logic programming ⋮ Splitting the Control Flow with Boolean Flags ⋮ An Analysis of Slow Convergence in Interval Propagation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ <scp>OutsideIn(X)</scp>Modular type inference with local assumptions ⋮ On the Number of Rule Applications in Constraint Programs ⋮ CHR in Action ⋮ Expressiveness of Multiple Heads in CHR ⋮ Welcome to Constraint Handling Rules ⋮ A Flexible Search Framework for CHR ⋮ Adaptive CHR Meets CHR ∨ ⋮ Constructing Rule-Based Solvers for Intentionally-Defined Constraints ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ A Compositional Semantics for CHR with Propagation Rules ⋮ CHR for Imperative Host Languages ⋮ Guard Reasoning in the Refined Operational Semantics of CHR ⋮ Reactive Answer Set Programming ⋮ Closures and Modules Within Linear Logic Concurrent Constraint Programming ⋮ Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities ⋮ Abductive Logic Grammars ⋮ Monadic constraint programming ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Local consistency for extended CSPs ⋮ LMNtal as a hierarchical logic programming language ⋮ Type Inference using Constraint Handling Rules ⋮ Aggregates for CHR through Program Transformation ⋮ Generation of Rule-Based Constraint Solvers: Combined Approach ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Optimization of CHR Propagation Rules ⋮ Termination Analysis of CHR Revisited ⋮ Transactions in Constraint Handling Rules ⋮ Cadmium: An Implementation of ACD Term Rewriting ⋮ Encoding Distributed Process Calculi into LMNtal ⋮ Models and emerging trends of concurrent constraint programming
Uses Software
This page was built for publication: Theory and practice of constraint handling rules