Constraint Handling Rules

DOI10.1017/CBO9780511609886MaRDI QIDQ3639651zbMATH OpenOpenAlexFDO

Authors Thom Frühwirth

Publication date 26 October 2009

Full work available at URL https://doi.org/10.1017/cbo9780511609886

zbMATH Keywords

graph-based formalismlogic programmingrule-based formalism

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Advances in constraint handling rules.
• Constraint solving with constraint handling rules
• Quantified constraint handling rules
• Constraint Handling Rules. Current research topics
• Theory and practice of constraint handling rules
• Welcome to Constraint Handling Rules
• Logic Programming
• Transactions in Constraint Handling Rules
• scientific article; zbMATH DE number 1337859

Cited in

(41)

• Constraint Handling Rules. Current research topics
• Automatically improving constraint models in Savile Row
• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
• Models and emerging trends of concurrent constraint programming
• Language-based program verification via expressive types
• An overview of Ciao and its design philosophy
• Exchanging conflict resolution in an adaptable implementation of ACT-R
• 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
• A formal semantics for the cognitive architecture ACT-R
• Combining forward and backward propagation
• Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
• The NCL natural constraint language.
• As time goes by: constraint handling rules
• Principles of constraint programming.
• CHR(PRISM)-based probabilistic logic learning
• A complete and terminating execution model for constraint handling rules
• Decidability properties for fragments of CHR
• Welcome to Constraint Handling Rules
• Shape neutral analysis of graph-based data-structures
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Constraint handling rules with binders, patterns and generic quantification
• Unfolding for CHR programs
• Programming in logic without logic programming
• scientific article; zbMATH DE number 954242 (Why is no real title available?)
• Diagrammatic confluence for constraint handling rules
• scientific article; zbMATH DE number 1405979 (Why is no real title available?)
• Quantified constraint handling rules
• scientific article; zbMATH DE number 7453192 (Why is no real title available?)
• On proving confluence modulo equivalence for Constraint Handling Rules
• MiningZinc: a declarative framework for constraint-based mining
• Strong Joinability Analysis for Graph Transformation Systems in CHR
• Probabilistic legal reasoning in CHRiSM
• Turing-Complete Subclasses of CHR
• CHR in action
• Fifty Years of Prolog and Beyond
• Runtime repeated recursion unfolding in CHR: a just-in-time online program optimization strategy that can achieve super-linear speedup
• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
• Quantified constraint handling rules
• A labelling framework for probabilistic argumentation

This page was built for publication: Constraint Handling Rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639651)