This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
S. Abdennadher , T. Frühwirth and H. Meuss 1999. Confluence and semantics of constraint simplification rules. Constraints 4, 2, 133–165.
S. Abdennadher and C. Rigotti 2004. Automatic generation of rule-based constraint solvers over finite domains. ACM TOCL 5, 2, 177–205.
M. Alberti , D. Daolio , P. Torroni , M. Gavanelli , E. Lamma and P. Mello 2004. Specification and verification of agent interaction protocols in a logic-based system. In SAC '04: Proc. 19th ACM Symp. Applied Computing, H. Haddad , Eds. ACM Press, 72–78.
M. Alberti , M. Gavanelli , E. Lamma , F. Chesani , P. Mello and P. Torroni 2006. Compliance verification of agent interaction: A logic-based software tool. Applied Artificial Intelligence 20, 2–4, 133–157.
S. Bistarelli , T. Frühwirth , M. Marte and F. Rossi 2004. Soft constraint propagation and solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP 20, 2 (May), 287–307.
W.-N. Chin , F. Craciun , S.-C. Khoo and C. Popeea 2006. A flow-based approach for variant parametric types. SIGPLAN Not. 41, 10, 273–290.
H. Christiansen and V. Dahl 2003. Logic grammars for diagnosis and repair. International Journal of Artificial Intelligence Tools 12, 3, 227–248.
L. De Koninck , T. Schrijvers and B. Demoen 2007b. User-definable rule priorities for CHR. In PPDP '07, M. Leuschel and A. Podelski , Eds. ACM Press, 25–36.
L. De Koninck , P. J. Stuckey and G. J. Duck 2008. Optimizing compilation of CHR with rule priorities. In Proc. 9th Intl. Symp. Functional and Logic Programming, J. Garrigue and M. Hermenegildo , Eds. LNCS, vol. 4989. Springer, 32–47.
G. Delzanno , M. Gabbrielli and M. C. Meo 2005. A compositional semantics for CHR. In PPDP '05, P. Barahona and A. Felty , Eds. ACM Press, 209–217.
K. Djelloul , T.-B.-H. Dao and T. Frühwirth 2007. Toward a first-order extension of Prolog's unification using CHR: A CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 2007 ACM Symp. Applied computing, Y. Cho , R. L. Wainwright , H. Haddad , S. Y. Shin , and Y. W. Koo , Eds. ACM Press, 58–64.
M. Ducassé 1999. Opium: an extendable trace analyzer for Prolog. J. Logic Programming 39, 1–3, 177–223.
G. J. Duck , P. J. Stuckey , M. García de la Banda and C. Holzbaur 2003. Extending arbitrary solvers with Constraint Handling Rules. In PPDP '03. ACM Press, 79–90.
M. T. Escrig and F. Toledo 1998a. A framework based on CLP extended with CHRs for reasoning with qualitative orientation and positional information. J. Visual Languages and Computing 9, 1, 81–101.
T. Frühwirth 2006a. Complete propagation rules for lexicographic order constraints over arbitrary domains. In Recent Advances in Constraints, CSCLP '05: Joint ERCIM/CoLogNET Intl. Workshop on Constraint Solving and CLP, Revised Selected and Invited Papers. LNAI, vol. 3978. Springer.
T. Frühwirth and S. Abdennadher 2003. Essentials of Constraint Programming. Springer.
T. Frühwirth and P. Brisset 2000. Placing base stations in wireless indoor communication networks. IEEE Intelligent Systems and Their Applications 15, 1, 49–53.
M. Gabbrielli and M. C. Meo 2009. A compositional semantics for CHR. ACM Transactions on Computational Logic 10, 2.
D. Garat and D. Wonsever 2002. A constraint parser for contextual rules. In Proc. 22nd Intl. Conf. of the Chilean Computer Science Society. IEEE Computer Society, 234–242.
C. Holzbaur and T. Frühwirth 2000a. A Prolog Constraint Handling Rules compiler and runtime system. Journal of Applied Artificial Intelligence 14 (4), 369–388.
N. Kosmatov 2006a. A constraint solver for sequences and its applications. In Proc. 2006 ACM Symp. on Applied Computing. ACM Press, 404–408.
E. S. Lam
and M. Sulzmann 2007
. A concurrent Constraint Handling Rules semantics and its implementation with software transactional memory. In DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming
. ACM Press
. System's homepage at URL: http://taichi.ddns.comp.nus.edu.sg/taichiwiki/CCHR/
A. Pretschner , O. Slotosch , E. Aiglstorfer and S. Kriebel 2004. Model-based testing for real. J. Software Tools for Technology Transfer (STTT) 5, 2–3, 140–157.
T. Schrijvers and M. Bruynooghe 2006. Polymorphic algebraic data type reconstruction. In PPDP '06, A. Bossi and M. Maher , Eds. ACM Press, 85–96.
T. Schrijvers , P. J. Stuckey and G. J. Duck 2005a. Abstract interpretation for constraint handling rules. In PPDP '05, P. Barahona and A. Felty , Eds. ACM Press, 218–229.
J. Sneyers , T. Schrijvers and B. Demoen 2009. The computational power and complexity of Constraint Handling Rules. ACM Transactions on Programming Languages and Systems 31, 2.
P. J. Stuckey , Ed. 2002. ICLP '02: Proc. 18th Intl. Conf. Logic Programming. LNCS, vol. 2401. Springer.
P. J. Stuckey and M. Sulzmann 2005. A theory of overloading. ACM Transactions on Programming Languages and Systems 27, 6, 1216–1269.
P. Tacchella , M. Gabbrielli and M. C. Meo 2007. Unfolding in CHR. In PPDP '07, M. Leuschel and A. Podelski , Eds. ACM Press, 179–186.
P. Van Weert 2008. Compiling Constraint Handling Rules to Java: A reconstruction. Tech. Rep. CW 521, K.U.Leuven, Dept. Comp. Sc. Aug.