Article contents
Introduction to the Special Issue on Constraint Handling Rules
Published online by Cambridge University Press: 01 July 2005
Extract
During the last decade, Constraint Handling Rules (CHR) have become a major specification and implementation language for logical, constraint-based algorithms and intelligent applications (as witnessed for example by several hundred publications available online that mention CHR). Algorithms are often specified using inference rules, rewrite rules, sequents, proof rules, or logical axioms that can be almost directly written in CHR.
- Type
- Regular Papers
- Information
- Copyright
- © 2005 Cambridge University Press
- 4
- Cited by