BACK TO INDEX

Publications of Thom W. Frühwirth
Books and proceedings
  1. Jon Sneyers and Thom Frühwirth, editors. CHR '12: Proc. 9th Workshop on Constraint Handling Rules, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012. [bibtex-entry]


  2. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities. [bibtex-entry]


  3. Thom Frühwirth. Constraint Handling Rules. Cambridge University Press, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial. [bibtex-entry]


  4. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8] [bibtex-entry]


  5. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008. [bibtex-entry]


  6. T. Schrijvers and Th. Frühwirth, editors. CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. Keyword(s): CHR 2006. [bibtex-entry]


  7. Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors. Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming. Cambridge University Press, July 2005. [bibtex-entry]


  8. T. Schrijvers and Th. Frühwirth, editors. CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. Keyword(s): CHR 2005. [bibtex-entry]


  9. A. Wolf, Th. Frühwirth, and M. Meister, editors. W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, February 2005. [WWW] [bibtex-entry]


  10. Th. Frühwirth and M. Meister, editors. CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, May 2004. Keyword(s): CHR 2004. [bibtex-entry]


  11. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. Springer-Verlag, 2003. ISBN: 3540676236. Keyword(s): tutorial. [bibtex-entry]


  12. C. Holzbaur and Th. Frühwirth, editors. Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence. Taylor & Francis, April 2000. [bibtex-entry]


  13. T. Frühwirth and others, editors. RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000. [bibtex-entry]


  14. T. Frühwirth and others, editors. RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000. [bibtex-entry]


Thesis
  1. Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, Department of Computer Science, LMU, Munchen, Germany, December 1997. [bibtex-entry]


Articles in journal, book chapters
  1. Amira Zaki, Thom W. Frühwirth, and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules. In Evelina Lamma and Terrance Swift, editors, Technical Communications of the 29th Intl. Conf. on Logic Programming, volume 13(4–5), Online Supplement of Theory and Practice of Logic Programming. Cambridge University Press, August 2013. [PDF] [bibtex-entry]


  2. Frank Raiser and Thom Frühwirth. Analyzing Graph Transformation Systems through Constraint Handling Rules. Theory and Practice of Logic Programming, 2010. Note: To appear. Keyword(s): Graph Transformation Systems, related formalisms. [Abstract] [bibtex-entry]


  3. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP '10: Proc. 26th Intl. Conf. Logic Programming, volume 10(4–6) of Theory and Practice of Logic Programming, pages 597-610. Cambridge University Press, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination. [bibtex-entry]


  4. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. Theory and Practice of Logic Programming, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171] [Abstract] [bibtex-entry]


  5. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 1-15. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial. [bibtex-entry]


  6. Tom Schrijvers and Thom Frühwirth. Optimal union-find in Constraint Handling Rules. Theory and Practice of Logic Programming, 6(1–2):213-224, 2006. ISSN: 1471-0684. [doi:10.1017/S1471068405002541] Keyword(s): algorithms. [bibtex-entry]


  7. Stefano Bistarelli, Thom Frühwirth, Michael Marte, and Francesca Rossi. Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP, 20(2):287-307, May 2004. [bibtex-entry]


  8. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. Theory and Practice of Logic Programming, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications. [bibtex-entry]


  9. Thom Frühwirth and Pascal Brisset. Placing Base Stations in Wireless Indoor Communication Networks. IEEE Intelligent Systems and Their Applications, 15(1):49-53, 2000. Keyword(s): applications. [bibtex-entry]


  10. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules Compiler and Runtime System.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 369-388. Taylor & Francis, April 2000. [doi:10.1080/088395100117043] Keyword(s): implementation. [bibtex-entry]


  11. Christian Holzbaur and Thom Frühwirth. Selected recent project descriptions involving CHR. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 417-420. Taylor & Francis, April 2000. [doi:10.1080/088395100117061] [bibtex-entry]


  12. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999. ISSN: 1383-7133. [doi:10.1023/A:1009842826135] Keyword(s): confluence, semantics. [bibtex-entry]


  13. Thom Frühwirth. Theory and Practice of Constraint Handling Rules. J. Logic Programming, Special Issue on Constraint Logic Programming, 37(1–3):95-138, 1998. [POSTSCRIPT] [doi:10.1016/S0743-1066(98)10005-5] Keyword(s): survey. [bibtex-entry]


  14. Thom Frühwirth, Pascal Brisset, and Jörq-Rainer Molwitz. Planning Cordless Business Communication Systems. IEEE Intelligent Systems, 11(1):50-55, 1996. [doi:10.1109/64.482958] [Abstract] [bibtex-entry]


  15. Thom Frühwirth and Philipp Hanschke. Terminological Reasoning with Constraint Handling Rules. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 19. MIT Press, 1995. [bibtex-entry]


Conference articles
  1. Jon Sneyers, Daniel De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 39-52, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): CHRiSM, applications, CHR 2013, CHR 2013, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]


  2. Amira Zaki, Matthias Rau, and Thom Frühwirth. CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 53-60, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): debugging, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]


  3. Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 41-50, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]


  4. Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 82-90, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]


  5. Johannes Langbein, Roland Stelzer, and Thom Frühwirth. A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats. In Robotic Sailing 2011, Part V, pages 195-204, 2011. [doi:10.1007/978-3-642-22836-0_14] Keyword(s): applications. [bibtex-entry]


  6. Hariolf Betz, Frank Raiser, and Thom Frühwirth. Persistent Constraints in Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW] Keyword(s): parallelism, semantics. [bibtex-entry]


  7. Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth. MTSeq – Multi-touch-enabled music generation and manipulation based on CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, applications, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]


  8. Johannes Langbein, Frank Raiser, and Thom Frühwirth. A State Equivalence and Confluence Checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): confluence, semantics, CHR 2010, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]


  9. Ahmed Magdy, Frank Raiser, and Thom Frühwirth. Implementing Dynamic Programming Recurrences in Constraint Handling Rules with Rule Priorities. In Slim Abdennadher, editor, WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] Keyword(s): priorities. [bibtex-entry]


  10. Frank Raiser and Thom Frühwirth. Exhaustive Parallel Rewriting with Multiple Removals. In Slim Abdennadher, editor, WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] Keyword(s): parallelism. [bibtex-entry]


  11. Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta, Frank Raiser, and Thom Frühwirth. Constraint-Based Hardware Synthesis. In Slim Abdennadher, editor, WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] Keyword(s): applications. [bibtex-entry]


  12. Thom Frühwirth. First steps towards a lingua franca for computer science: Rule-based Approaches in CHR. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 1, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. Note: Invited talk. [PDF] Keyword(s): CHR 2009, related formalisms, CHR 2009, CHR 2009. [bibtex-entry]


  13. Frank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR States Revisited. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 33-48, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  14. Frank Raiser and Thom Frühwirth. Operational Equivalence of Graph Transformation Systems. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 49-61, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, Graph Transformation Systems, related formalisms, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  15. Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. In TERMGRAPH '09: Proc. 5th Intl. Workshop on Computing with Terms and Graphs, pages 97-112, March 2009. Keyword(s): Graph Transformation Systems, related formalisms. [bibtex-entry]


  16. Thom Frühwirth. Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. In Recent Advances in Constraints — CSCLP '07: 12th ERCIM Intl. Workshop on Constraint Solving and Constraint Logic Programming, Revised Selected Papers, pages 91-118, November 2008. [doi:10.1007/978-3-540-89812-2_7] Keyword(s): algorithms. [Abstract] [bibtex-entry]


  17. Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 19-34, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): related formalisms, CHR 2008, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  18. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  19. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  20. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. 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, pages 58-64, 2007. ACM Press. ISBN: 1-59593-480-4. [bibtex-entry]


  21. Thom Frühwirth. Description Logic and Rules the CHR Way. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 49-61, September 2007. Note: Extended Abstract. [PDF] Keyword(s): related formalisms, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]


  22. Thom Frühwirth. 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, volume 3978 of Lecture Notes in Artificial Intelligence, 2006. Springer-Verlag. [bibtex-entry]


  23. Thom Frühwirth. Constraint Handling Rules: the story so far. In A. Bossi and M.J. Maher, editors, PPDP '06: Proc. 8th Intl. Conf. Princ. Pract. Declarative Programming, pages 13-14, July 2006. ACM Press. ISBN: 1-59593-388-3. Keyword(s): tutorial. [bibtex-entry]


  24. Thom Frühwirth. Deriving Linear-Time Algorithms from Union-Find in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 49-60, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, algorithms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  25. Marc Meister, Khalil Djelloul, and Thom Frühwirth. Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In F. Azevedo and others, editors, CSCLP '06: Proc. 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming, volume 4651 of Lecture Notes in Computer Science, pages 139-153, June 2006. Springer-Verlag. ISBN: 978-3-540-73816-9. [doi:10.1007/978-3-540-73817-6_9] Keyword(s): complexity, algorithms. [bibtex-entry]


  26. Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 77-91, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]


  27. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, and Thom Frühwirth. Automatic implication checking for CHR constraints. In RULE '05: 6th Intl. Workshop on Rule-Based Programming, volume 147(1) of Electronic Notes in Theoretical Computer Science, pages 93-111, January 2006. Elsevier. [bibtex-entry]


  28. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP '05, volume 3709 of Lecture Notes in Computer Science, pages 137-151, October 2005. Springer-Verlag. Keyword(s): semantics, linear logic. [bibtex-entry]


  29. Thom Frühwirth. Logical Rules for a Lexicographic Order Constraint Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 79-91, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  30. Thom Frühwirth. Parallelizing Union-Find in Constraint Handling Rules Using Confluence. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 113-127, October 2005. Springer-Verlag. Keyword(s): confluence, algorithms, parallelism. [bibtex-entry]


  31. Thom Frühwirth. Specialization of Concurrent Guarded Multi-Set Transformation Rules. In S. Etalle, editor, LOPSTR '04, volume 3573 of Lecture Notes in Computer Science, pages 133-148, 2005. Springer-Verlag. [PDF] [bibtex-entry]


  32. Tom Schrijvers and Thom Frühwirth. Analysing the CHR Implementation of Union-Find. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, pages 135-146, February 2005. [WWW] Keyword(s): algorithms, complexity. [bibtex-entry]


  33. Slim Abdennadher and Thom Frühwirth. Integration and Optimization of Rule-based Constraint Solvers. In M. Bruynooghe, editor, LOPSTR '03, volume 3018 of Lecture Notes in Computer Science, pages 198-213, 2004. Springer-Verlag. [PDF] [bibtex-entry]


  34. Thom Frühwirth and Christian Holzbaur. Source-to-Source Transformation for a Class of Expressive Rules. In F. Buccafurri, editor, AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, pages 386-397, September 2003. [bibtex-entry]


  35. Thom Frühwirth. As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. In A. Di Pierro and H. Wiklicky, editors, QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages, volume 59(3) of Electronic Notes in Theoretical Computer Science, 2002. Elsevier. Keyword(s): complexity. [bibtex-entry]


  36. Thom Frühwirth. As Time Goes By: Automatic Complexity Analysis of Simplification Rules. In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, KR '02: Proc. 8th Intl. Conf. Princ. Knowledge Representation and Reasoning, pages 547-557, April 2002. Morgan Kaufmann. Keyword(s): complexity. [bibtex-entry]


  37. Thom Frühwirth, Alessandra Di Pierro, and Herbert Wiklicky. Probabilistic Constraint Handling Rules. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 76 of Electronic Notes in Theoretical Computer Science, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions. [bibtex-entry]


  38. Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of Electronic Notes in Theoretical Computer Science, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination. [bibtex-entry]


  39. Thom Frühwirth. Proving Termination of Constraint Solver Programs. In K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of Lecture Notes in Computer Science, pages 298-317, 2000. Springer-Verlag. ISBN: 3-540-67885-9. [doi:10.1007/3-540-44654-0_15] Keyword(s): termination. [bibtex-entry]


  40. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP '99: Proc. 5th Intl. Conf. Princ. Pract. Constraint Programming, volume 1713 of Lecture Notes in Computer Science, pages 43-57, October 1999. Springer-Verlag. ISBN: 3-540-66626-5. Keyword(s): semantics. [bibtex-entry]


  41. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP '99, volume 1702 of Lecture Notes in Computer Science, pages 117-133, 1999. Springer-Verlag. Keyword(s): implementation. [bibtex-entry]


  42. Slim Abdennadher and Thom Frühwirth. On Completion of Constraint Handling Rules. In M. J. Maher and J.-F. Puget, editors, CP '98: Proc. 4th Intl. Conf. Princ. Pract. Constraint Programming, volume 1520 of Lecture Notes in Computer Science, pages 25-39, October 1998. Springer-Verlag. ISBN: 3-540-65224-8. Keyword(s): program generation. [bibtex-entry]


  43. Thom Frühwirth and Pascal Brisset. Optimal Placement of Base Stations in Wireless Indoor Telecommunication. In M. J. Maher and J.-F. Puget, editors, CP '98: Proc. 4th Intl. Conf. Princ. Pract. Constraint Programming, volume 1520 of Lecture Notes in Computer Science, pages 476-480, October 1998. Springer-Verlag. ISBN: 3-540-65224-8. Keyword(s): applications. [bibtex-entry]


  44. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. On confluence of Constraint Handling Rules. In CP '96: Proc. Second Intl. Conf. Principles and Practice of Constraint Programming, volume 1118 of Lecture Notes in Computer Science, pages 1-15, August 1996. Springer-Verlag. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence. [Abstract] [bibtex-entry]


  45. Thom Frühwirth. Constraint Handling Rules. In A. Podelski, editor, Constraint Programming: Basic and Trends — Selected Papers of the 22nd Spring School in Theoretical Computer Sciences, May 16–20, 1994, volume 910 of Lecture Notes in Computer Science, pages 90-107, 1995. Springer-Verlag. ISBN: 3-540-59155-9. Keyword(s): tutorial. [bibtex-entry]


  46. Thom Frühwirth. Entailment simplification and constraint constructors for user-defined constraints. In WCLP '93: 3rd Workshop on Constraint Logic Programming, March 1993. [bibtex-entry]


Internal reports
  1. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A complete and terminating execution model for Constraint Handling Rules. Ulmer Informatik Berichte 2010-01, Ulm University, Germany, January 2010. [WWW] Keyword(s): semantics, termination. [Abstract] [bibtex-entry]


  2. Christian Holzbaur and Thom Frühwirth. Constraint Handling Rules reference manual, Release 2.2. Technical report TR-98-01, Österreichisches Forschungsinstitut für Artificial Intelligence, Wien, 1998. [bibtex-entry]


  3. Thom Frühwirth and Pascal Brisset. High-Level Implementations of Constraint Handling Rules. Technical report ECRC-95-20, European Computer-Industry Research Centre, Munchen, Germany, 1995. [bibtex-entry]


  4. Thom Frühwirth. Temporal Reasoning with Constraint Handling Rules. Technical report ECRC-94-5, European Computer-Industry Research Centre, Munchen, Germany, 1994. [bibtex-entry]


  5. Thom Frühwirth. Constraint Simplification Rules. Technical report ECRC-92-18, European Computer-Industry Research Centre, Munchen, Germany, July 1992. [bibtex-entry]


  6. Thom Frühwirth. Introducing Simplification Rules. Technical report ECRC-LP-63, European Computer-Industry Research Centre, Munchen, Germany, October 1991. Note: Presented at the Workshop Logisches Programmieren, Goosen/Berlin, Germany, October 1991 and the Workshop on Rewriting and Constraints, Dagstuhl, Germany, October 1991. [bibtex-entry]



BACK TO INDEX

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

Last modified: Mon Dec 16 13:19:47 2013
This bibliography was compiled by the following authors: Please send BibTEX entries of missing CHR-related publications to Jon Sneyers.

This document was translated from BibTEX by bibtex2html