Publications

of Thom Frühwirth

Books and proceedings

  1. H. Betz, T. Frühwirth, and U. Schöning. A Unified Analytical Foundation for Constraint Handling Rules. Books on Demand, 2014. ISBN: 9783734732508.
  2. R. Kowalski and T. Frühwirth. Logic for Problem Solving, Revisited, Computer science essentials. Books on Demand, 2014. ISBN: 9783837036299.
  3. E. Tsang and T. Frühwirth. Foundations of Constraint Satisfaction: The Classic Text. Books on Demand, 2014. ISBN: 9783735723666. [WWW]
  4. Thom Frühwirth, Leslie De Koninck, Markus Triska, and Jan Wielemaker. SWI Prolog Reference Manual 6.2.2. BoD--Books on Demand, 2012.
  5. Jon Sneyers and Thom Frühwirth, editors. CHR12l, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012.
  6. 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.
  7. Thom Frühwirth. Constraint Handling Rules. CUP, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial.
  8. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8]
  9. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR08l, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008.
  10. T. Schrijvers and Th. Frühwirth, editors. CHR06l, July 2006. KULCW, Technical report CW 452. Keyword(s): CHR 2006.
  11. 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. CUP, July 2005.
  12. T. Schrijvers and Th. Frühwirth, editors. CHR05l, 2005. KULCW, Technical report CW 421. Keyword(s): CHR 2005.
  13. A. Wolf, Th. Frühwirth, and M. Meister, editors. W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of UIB, February 2005. [WWW]
  14. Th. Frühwirth and M. Meister, editors. CHR04l, May 2004. Keyword(s): CHR 2004.
  15. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.
  16. 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.
  17. T. Frühwirth and others, editors. RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000.
  18. T. Frühwirth and others, editors. RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000.

Thesis

  1. Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, deptcw, LMU, Munchen, Germany, December 1997.

Articles in journal, book chapters

  1. Thom Frühwirth. A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks. 2018.
  2. Thom Frühwirth. Parallelism, concurrency and distribution in constraint handling rules: A survey. Theory and Practice of Logic Programming, 18(5-6):759-805, 2018. [doi:10.1017/S1471068418000078]
  3. Thom Frühwirth. Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design. arXiv preprint arXiv:1805.08453, 2018.
  4. Thom Frühwirth. Security Policies in Constraint Handling Rules. 2018.
  5. Thom Frühwirth and Daniel Gall. Exploring Parallel Execution Strategies for Constraint Handling Rules-Work-in-Progress Report. arXiv preprint arXiv:1808.07788, 2018.
  6. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.
  7. Thom Frühwirth. Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints, pages 208-222. Springer International Publishing, 2016. ISBN: 978-3-319-42019-6. [doi:10.1007/978-3-319-42019-6_14]
  8. Daniel Gall and Thom Frühwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules, pages 223-237. Springer International Publishing, 2016. [doi:10.1007/978-3-319-42019-6_15]
  9. Daniel Gall and Thom Frühwirth. A Formal Semantics for the Cognitive Architecture ACT-R, pages 74-91. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_5]
  10. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHRAnimation: An Animation Tool for Constraint Handling Rules, pages 92-110. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_6]
  11. Thom Frühwirth. Constraint Handling Rules-What Else?. In Rule Technologies: Foundations, Tools, and Applications, pages 13-34. Springer, 2015.
  12. Daniel Gall and Thom Frühwirth. Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Theory and Practice of Logic Programming, 14:525-538, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000180]
  13. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR. Proceedings of the 11th International Workshop on Constraint Handling Rules, 2014. [WWW]
  14. Aya Saad, Thom Frühwirth, and Carmen Gervet. The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Theory and Practice of Logic Programming, 14:461-475, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000143]
  15. Jon Sneyers, Danny De Schreye, and Thom Frühwirth. Probabilistic legal reasoning in CHRiSM. In Evelina Lamma and Terrance Swift, editors, ICLP13l, volume 13(4--5) of TPLP, pages 769-781. CUP, August 2013. [PDF]
  16. Amira Zaki, Thom 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 TPLP. CUP, August 2013. [PDF]
  17. Frank Raiser and Thom Frühwirth. Analyzing Graph Transformation Systems through Constraint Handling Rules. TPLP, 2010. Note: To appear. Keyword(s): Graph Transformation Systems, related formalisms.
  18. 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, ICLP10l, volume 10(4--6) of TPLP, pages 597-610. CUP, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination.
  19. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171]
  20. 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 LNAI, pages 1-15. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial.
  21. Tom Schrijvers and Thom Frühwirth. Optimal union-find in Constraint Handling Rules. TPLP, 6(1--2):213-224, 2006. ISSN: 1471-0684. [doi:10.1017/S1471068405002541] Keyword(s): algorithms.
  22. 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.
  23. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. TPLP, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications.
  24. 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.
  25. 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.
  26. 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]
  27. 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.
  28. 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.
  29. 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]
  30. 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.

Conference articles

  1. Daniel Gall and Thom Frühwirth. Confluence modulo equivalence with invariants in constraint handling rules. In International Symposium on Functional and Logic Programming, pages 116-131, 2018. Springer.
  2. Falco Nogatz, Thom Frühwirth, and Dietmar Seipel. CHR.js: A CHR Implementation in JavaScript. In Rules and Reasoning, volume 11092, pages 131-146, 2018. Springer.
  3. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
  4. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Rule-Based Visualization of Tableau Calculus for Propositional Logic. In 22nd International Conference Information Visualisation (IV 2018), pages 368-372, 2018. IEEE.
  5. Thom Frühwirth. Implementation of Logical Retraction in Constraint Handling Rules with Justifications. In 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017), 2017.
  6. Daniel Gall and Thom Frühwirth. A Decidable Confluence Test for Cognitive Models in ACT-R. In International Joint Conference on Rules and Reasoning (RuleML+RR 2017), July 2017.
  7. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Automatic Interaction Detection and Annotation. In 21st International Conference Information Visualisation (iV2017), July 2017.
  8. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR-Graph: A Platform for Animating Tree and Graph Algorithms. In 21st International Conference Information Visualisation, IV, pages 11-14, July 2017.
  9. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Using Rules to Animate Prolog Programs. In Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), 2017.
  10. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule Based Approach to teach Mathematics using Animation. In Supplementary Proceedings of the RuleML 2016 Challenge, Doctoral Consortium and Industry Track hosted by the 10th International Web Rule Symposium, RuleML 2016, New York, USA, July 6-9, 2016., 2016.
  11. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Animating Java Algorithms. In Information Visualisation (IV), 2016 20th International Conference, pages 141-145, 2016. IEEE.
  12. Nada Sharaf, Slim Abdennadher, Thom Frühwirth, and Daniel Gall. Animating Cognitive Models and Architectures: A Rule-Based Approach. In Christoph Benzmerb=uller, Geoff Sutcliffe, and Raul Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, volume 41 of EPiC Series in Computing, pages 253-265, 2016. EasyChair. ISSN: 2398-7340.
  13. Verónica Dahl, Sergio Tessaris, and Thom Frühwirth. Imperfect Querying through Womb Grammars plus Ontologies.. In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, and Daniele Porello, editors, JOWO@IJCAI, volume 1517 of CEUR Workshop Proceedings, 2015. CEUR-WS.org. [WWW] Keyword(s): dblp.
  14. Thom Frühwirth. A devil's advocate against termination of direct recursion. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 103-113, 2015. ACM.
  15. Daniel Gall and Thom Frühwirth. A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pages 114-124, 2015. ACM.
  16. Daniel Gall and Thom Frühwirth. An adaptable implementation of ACT-R with refraction in Constraint Handling Rules. In Proceedings of the 13th International Conference on Cognitive Modeling, pages 61-66, 2015.
  17. N. Sharaf, S. Abdennadher, and T. Frühwirth. DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. In 2015 19th International Conference on Information Visualisation, pages 121-126, July 2015. ISSN: 1550-6037. [doi:10.1109/iV.2015.31] Keyword(s): constraint handling, program visualisation, visual languages, CHR program diagrammatic representation, DiagrammaticCHR, animation, constraint handling rules, general purpose language, visualization features, Animation, Color, Joining processes, Semantics, Solids, Syntactics, Visualization, Constraint Handling Rules, Program Animation, Visual Language.
  18. Jon Sneyers, Daniel De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 39-52, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHRiSM, applications, CHR 2013, CHR 2013.
  19. 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, CHR13l, pages 53-60, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): debugging, CHR 2013, CHR 2013.
  20. 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, CHR12l, pages 41-50, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012.
  21. Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, and Thom Frühwirth. Compiling CHR to parallel hardware. In Proceedings of the 14th symposium on Principles and Practice of declarative programming, pages 173-184, 2012. ACM.
  22. 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, CHR12l, pages 82-90, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012.
  23. 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.
  24. 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.
  25. 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, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, applications, CHR 2010, CHR 2010.
  26. 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, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): confluence, semantics, CHR 2010, CHR 2010, CHR 2010.
  27. Ahmed Magdy, Frank Raiser, and Thom Frühwirth. Implementing Dynamic Programming Recurrences in Constraint Handling Rules with Rule Priorities. In Slim Abdennadher, editor, WLP10l, September 2010. [WWW] Keyword(s): priorities.
  28. Frank Raiser and Thom Frühwirth. Exhaustive Parallel Rewriting with Multiple Removals. In Slim Abdennadher, editor, WLP10l, September 2010. [WWW] Keyword(s): parallelism.
  29. Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta, Frank Raiser, and Thom Frühwirth. Constraint-Based Hardware Synthesis. In Slim Abdennadher, editor, WLP10l, September 2010. [WWW] Keyword(s): applications.
  30. Thom Frühwirth. First steps towards a lingua franca for computer science: Rule-based Approaches in CHR. In F. Raiser and J. Sneyers, editors, CHR09l, pages 1, July 2009. KULCW, Technical report CW 555. Note: Invited talk. [PDF] Keyword(s): CHR 2009, related formalisms, CHR 2009, CHR 2009.
  31. Frank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR States Revisited. In F. Raiser and J. Sneyers, editors, CHR09l, pages 33-48, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, CHR 2009, CHR 2009.
  32. Frank Raiser and Thom Frühwirth. Operational Equivalence of Graph Transformation Systems. In F. Raiser and J. Sneyers, editors, CHR09l, pages 49-61, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, Graph Transformation Systems, related formalisms, CHR 2009, CHR 2009.
  33. 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.
  34. 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.
  35. Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 19-34, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): related formalisms, CHR 2008, CHR 2008, CHR 2008.
  36. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008.
  37. 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, CHR07l, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007.
  38. 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. 22nd ACM Symp. Applied Computing, pages 58-64, 2007. ACM. ISBN: 1-59593-480-4.
  39. Thom Frühwirth. Description Logic and Rules the CHR Way. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 49-61, September 2007. Note: Extended Abstract. [PDF] Keyword(s): related formalisms, CHR 2007, CHR 2007, CHR 2007.
  40. 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 LNAI, 2006. SV.
  41. Thom Frühwirth. Constraint Handling Rules: the story so far. In A. Bossi and M.J. Maher, editors, PPDP06l, pages 13-14, July 2006. ACM. ISBN: 1-59593-388-3. Keyword(s): tutorial.
  42. Thom Frühwirth. Deriving Linear-Time Algorithms from Union-Find in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 49-60, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, algorithms, CHR 2006, CHR 2006.
  43. 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 LNCS, pages 139-153, June 2006. SV. ISBN: 978-3-540-73816-9. [doi:10.1007/978-3-540-73817-6_9] Keyword(s): complexity, algorithms.
  44. Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 77-91, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006.
  45. 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 ENTCS, pages 93-111, January 2006. Elsevier.
  46. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP05, volume 3709 of LNCS, pages 137-151, October 2005. SV. Keyword(s): semantics, linear logic.
  47. Thom Frühwirth. Logical Rules for a Lexicographic Order Constraint Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 79-91, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, CHR 2005, CHR 2005.
  48. Thom Frühwirth. Parallelizing Union-Find in Constraint Handling Rules Using Confluence. In M. Gabbrielli and G. Gupta, editors, ICLP05l, volume 3668 of LNCS, pages 113-127, October 2005. SV. Keyword(s): confluence, algorithms, parallelism.
  49. Thom Frühwirth. Specialization of Concurrent Guarded Multi-Set Transformation Rules. In S. Etalle, editor, LOPSTR04, volume 3573 of LNCS, pages 133-148, 2005. SV. [PDF]
  50. 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 UIB, pages 135-146, February 2005. [WWW] Keyword(s): algorithms, complexity.
  51. Slim Abdennadher and Thom Frühwirth. Integration and Optimization of Rule-based Constraint Solvers. In M. Bruynooghe, editor, LOPSTR03, volume 3018 of LNCS, pages 198-213, 2004. SV. [PDF]
  52. 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.
  53. 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 ENTCS, 2002. Elsevier. Keyword(s): complexity.
  54. 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. MK. Keyword(s): complexity.
  55. 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 ENTCS, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions.
  56. 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 ENTCS, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination.
  57. 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 LNCS, pages 298-317, 2000. SV. ISBN: 3-540-67885-9. [doi:10.1007/3-540-44654-0_15] Keyword(s): termination.
  58. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP99l, volume 1713 of LNCS, pages 43-57, October 1999. SV. ISBN: 3-540-66626-5. Keyword(s): semantics.
  59. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP99, volume 1702 of LNCS, pages 117-133, 1999. SV. Keyword(s): implementation.
  60. Slim Abdennadher and Thom Frühwirth. On Completion of Constraint Handling Rules. In M. J. Maher and J.-F. Puget, editors, CP98l, volume 1520 of LNCS, pages 25-39, October 1998. SV. ISBN: 3-540-65224-8. Keyword(s): program generation.
  61. Thom Frühwirth and Pascal Brisset. Optimal Placement of Base Stations in Wireless Indoor Telecommunication. In M. J. Maher and J.-F. Puget, editors, CP98l, volume 1520 of LNCS, pages 476-480, October 1998. SV. ISBN: 3-540-65224-8. Keyword(s): applications.
  62. 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 LNCS, pages 1-15, August 1996. SV. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence.
  63. 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 LNCS, pages 90-107, 1995. SV. ISBN: 3-540-59155-9. Keyword(s): tutorial.
  64. Thom Frühwirth. Entailment simplification and constraint constructors for user-defined constraints. In WCLP '93: 3rd Workshop on Constraint Logic Programming, March 1993.

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.
  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.
  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.
  4. Thom Frühwirth. Temporal Reasoning with Constraint Handling Rules. Technical report ECRC-94-5, European Computer-Industry Research Centre, Munchen, Germany, 1994.
  5. Thom Frühwirth. Constraint Simplification Rules. Technical report ECRC-92-18, European Computer-Industry Research Centre, Munchen, Germany, July 1992.
  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.

BACK TO INDEX