Dipl.-Inf. Hariolf Betz

Publications

Hariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. Proceedings of CP 2005, Springer LNCS 3709, ISBN 3-540-29238-1, p. 137-151.

Hariolf Betz: A Linear Logic Semantics for Constraint Handling Rules with Disjunction. Proceedings of the 4th Workshop on Constraint Handling Rules: CHR 2007, p. 17-31.

Hariolf Betz: Relating Coloured Petri Nets to Constraint,Handling Rules. Proceedings of the 4th Workshop on Constraint Handling Rules: CHR 2007, p. 32-46.

Rémy Haemmerlé, Hariolf Betz: Verification of Constraint Handling Rules Using Linear Logic Phase Semantics. Proceedings of the 5th Workshop on Constraint Handling Rules: CHR 2008, p. 67-78.

Ingi Sobhi, Slim Abdennadher, Hariolf Betz: Constructing Rule-based Solvers for Intentionally-Defined Constraints, LNCS Special Issue on Recent Advances in CHR, 2009, ISBN 3-540-92242-3.

Frank Raiser, Hariolf Betz, Thom Frühwirth. Equivalence of CHR States Revisited. In Frank Raiser and Jon Sneyers, editors, 6th International Workshop on Constraint Handling Rules (CHR), pages 34-48. K.U.Leuven, Department of Computer Science, Technical report CW 555, 2009.

Hariolf Betz, Frank Raiser, Thom Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules. Ulmer Informatik Berichte 2010-01, Ulm University, January 2010.

Hariolf Betz, Frank Raiser, Thom W. Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules. Theory and Practice of Logic Programming, 10(4-6):597-610, 2010.

Hariolf Betz, Frank Raiser, Thom Frühwirth: Persistent Constraints in Constraint Handling Rules. In Ulrich Geske and Armin Wolf, editors, 23rd Workshop on (Constraint) Logic Programming. Universitätsverlag Potsdam, 2010.

Hariolf Betz, Thom Frühwirth: Linear-Logic Based Analysis of Constraint
Handling Rules with Disjunction. ACM Transactions on Computational Logic (TOCL). To appear.