scientific article; zbMATH DE number 2086600

MaRDI QIDQ4737134zbMATH OpenFDO

Authors Thom Frühwirth, Slim Abdennadher

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2309/23090192.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Theory and practice of constraint handling rules
• SMCHR: satisfiability modulo constraint handling rules
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
• Logic Programming
• Welcome to Constraint Handling Rules

Cited in

(11)

• Constraint Handling Rules. Current research topics
• Automatic implication checking for CHR constraints
• A perspective of constraint-based reasoning. An introductory tutorial
• Theory and practice of constraint handling rules
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules
• SMCHR: satisfiability modulo constraint handling rules
• On the number of rule applications in constraint programs
• Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity
• An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Describes a project that uses

Uses Software

• Haskell
• CHR

This page was built for publication:

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