Publications of Thom Frühwirth

The listing does not include tutorial and talk notes, project deliverables and internal reports.

Most cited research papers of Thom Frühwirth.

    2017

  1. Daniel Gall and Thom Frühwirth, A Decidable Confluence Test for Cognitive Models in ACT-R, International Joint Conference on Rules and Reasoning (RuleML+RR 2017), Springer LNCS 10364, London, UK, July 2017.
  2. Nada Sharaf, Slim Abdennadher, Thom Frühwirth, A Rule-Based Approach for Automatic Interaction Detection and Annotation, 21st International Conference Information Visualisation (iV2017), London, UK, July 2017.
  3. Nada Sharaf, Slim Abdennadher, Thom Frühwirth, CHR-Graph: A Platform for Animating Tree and Graph Algorithms, Poster, 21st International Conference Information Visualisation (iV2017), London, UK, July 2017.
  4. 2016

  5. Nada Sharaf, Slim Abdennadher, Thom Frühwirth and Daniel Gall. Animating Cognitive Models and Architectures: A Rule-based Approach, The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, September/October 2016.
  6. Thom Frühwirth. Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints (Full Version), 10th International Web Rule Symposium (RuleML 2016), New York, July 2016.
  7. Daniel Gall and Thom Frühwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules, 10th International Web Rule Symposium (RuleML 2016), New York, July 2016.
  8. Nada Sharaf, Slim Abdennadher and Thom Frühwirth. A Rule Based Approach to teach Mathematics using Animation, RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, July 2016.
  9. Nada Sharaf, Slim Abdennadher and Thom Frühwirth. A Rule-based Approach for Animating Java Algorithms, 20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
  10. 2015

    Publishing since 30 years.

  11. Amira Zaki, Slim Abdennadher, Thom Frühwirth. Combining Forward and Backward Propagation, 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Springer LNCS 9322, 2015.
  12. Thom Frühwirth. Constraint Handling Rules - What Else?, Invited Survey Paper, The 9th International Web Rule Symposium (RuleML), Springer LNCS 9202, 2015. Slides of associated Keynote Talk.
  13. Thom Frühwirth. A Devil's Advocate against Termination of Direct Recursion, ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy, July 2015. Rule Transformation Tool available (use "Devil" options).
  14. Daniel Gall and Thom Frühwirth. A Refined Operational Semantics for ACT-R, ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy, July 2015.
  15. Nada Sharaf, Slim Abdennadher and Thom Frühwirth. DiagrammaticCHR: A Diagrammatic Representation of CHR Program, 19th International Conference Information Visualisation (iV2015), IEEE Digital Library, 2015.
  16. Veronica Dahl, Sergio Tessaris and Thom Frühwirth. Imperfect Querying through Womb Grammars plus Ontologies, Workshop Ontologies and Logic Programming for Query Answering (ONTOLP'15) at IJCAI-2015, Buenos Aires, July 2015.
  17. Daniel Gall and Thom Frühwirth. An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules, 13th International Conference on Cognitive Modeling (ICCM), Groningen, April 2015.
  18. Daniel Gall and Thom Frühwirth. A Formal Semantics for the Cognitive Architecture ACT-R, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Springer LNCS 8981, 2015.
  19. Nada Sharaf, Slim Abdennadher and Thom Frühwirth. CHRAnimation: An Animation Tool for Constraint Handling Rules, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Springer LNCS 8981, 2015.
  20. 2014

  21. Hariolf Betz, Thom Frühwirth and Uwe Schoening (editors), A Unified Analytical Foundation for Constraint Handling Rules, BOD, ISBN 9783734732508, December 2014.
  22. Robert Kowalski, Thom Frühwirth (editor), Logic for Problem Solving, Revisited, BOD, ISBN 9783837036299, November 2014.
  23. Daniel Gall and Thom Frühwirth. Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014), Theory and Practice of Logic Programming, 14(4-5): 525-538, Cambridge University Press, 2014.
  24. Aya Saad, Thom Frühwirth and Carmen Gervet. The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014), Theory and Practice of Logic Programming, 14(4-5): 461-475, Cambridge University Press, 2014.
  25. Nada Sharaf, Slim Abdennadher and Thom Frühwirth. A Visualization Tool for Constraint Handling Rules, 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Canterbury, UK, September 2014.
  26. Falco Nogatz and Thom Frühwirth. From XML Schema to JSON Schema: Translation with CHR, (tool download), 11th Workshop on Constraint Handling Rules (CHR 2014), Vienna, July 2014.
  27. Edward Tsang, Thom Frühwirth (editor), Foundations of Constraint Satisfaction, BOD, ISBN 9783735723666, May 2014.
  28. Jan Wielemaker, Thom Frühwirth, Leslie De Koninck, Markus Triska and Marcus Uneson, SWI Prolog Reference Manual 7.1, BOD, ISBN 9783735738035, May 2014.
  29. Mats Carlsson, Thom Frühwirth (editor), SICStus Prolog User's Manual 4.3, BOD, ISBN 9783735737441, May 2014.
  30. 2013

  31. Jon Sneyers, Daniel De Schreye and Thom Frühwirth. Probabilistic Legal Reasoning in CHRiSM (full version with appendices), Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013), Theory and Practice of Logic Programming, volume 13, Special Issue 4-5, pp. 769-781, Cambridge University Press, 2013.
  32. Amira Zaki, Thom Frühwirth and Slim Abdennadher. Towards Inverse Execution of Constraint Handling Rules, 29th International Conference on Logic Programming (ICLP 2013), Theory and Practice of Logic Programming, volume 13, 4-5-Online-Supplement, Cambridge University Press, 2013.
  33. 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 2013: Proc. 10th Workshop on Constraint Handling Rules, K.U.Leuven, Department of Computer Science, Technical report CW 641, July 2013.
  34. Jon Sneyers, Daniel De Schreye and Thom Frühwirth CHRiSM and Probabilistic Argumentation Logic, In Henning Christiansen and Jon Sneyers (editors), CHR 2013: Proc. 10th Workshop on Constraint Handling Rules, K.U.Leuven, Department of Computer Science, Technical report CW 641, July 2013.
  35. Hariolf Betz and Thom Frühwirth. Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction, Journal ACM Transactions on Computational Logic (TOCL) Volume 14:1, p. 1-37, ACM, New York, February 2013.
  36. 2012

  37. Aya Saad, Carmen Gervet and Thom Frühwirth. CDF-Intervals Revisited, The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012), Quebec City, Canada, October 2012. [ .pdf ]
  38. Jan Wielemaker, Thom Frühwirth, Leslie De Koninck, Markus Triska and Marcus Uneson. SWI Prolog Reference Manual 6.2.2, ISBN 978-3-84-822617-7, BOD, September 2012.
  39. Jon Sneyers and Thom Frühwirth (editors). Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012), Report CW 624, Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium, September 2012. [ .pdf ]
  40. Alia El Bolock, Amira Zaki and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012. [ .pdf ]
  41. Amira Zaki, Thom Frühwirth and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit, CHR 2012: Ninth International Workshop on Constraint Handling Rules, Budapest, Hungary, September 2012. [ .pdf ]
  42. Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta and Thom Frühwirth. Compiling CHR to parallel hardware, PPDP 2012: ACM 14th International Symposium on Principles and Practice of Declarative Programming, Leuven, Belgium, September 2012. [ .pdf ]
  43. 2011

  44. Johannes Langbein, Roland Stelzer, Thom Frühwirth. A Rule-based Approach to Long-term Routing for Autonomous Sailboats. 4th International Robotic Sailing Conference (WRSC 2011), August 2011, Lübeck, Germany. [ .pdf ]
  45. Thom Frühwirth and Frank Raiser (editors). Constraint Handling Rules: Compilation, Execution, and Analysis. ISBN 978-3-83-911591-6, BOD, March 2011.
  46. Thom Frühwirth and Frank Raiser. Foreword and Appendix, Chapters in Constraint Handling Rules: Compilation, Execution, and Analysis. ISBN 978-3-83-911591-6, BOD, March 2011.
  47. Frank Raiser and Thom Frühwirth. Analysing graph transformation systems through constraint handling rules. Theory and Practice of Logic Programming, TPLP 11 (1):65-109, 2011. [ DOI|.pdf ]
  48. 2010

  49. Florian Geiselhart, Frank Raiser, Jon Sneyers, 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. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010. [ .pdf ]
  50. Johannes Langbein, Frank Raiser, 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. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010. [ .pdf ]
  51. 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. [ .pdf ]
  52. 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. [ .pdf ]
  53. 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. [ DOI | .pdf ]
  54. Ahmed Magdy, Frank Raiser, Thom Frühwirth. Implementing dynamic programming recurrences in constraint handling rules with rule priorities. In 24th Workshop on (Constraint) Logic Programming, Cairo, September 2010. [ .pdf ]
  55. Frank Raiser and Thom Frühwirth. Exhaustive parallel rewriting with multiple removals. In 24th Workshop on (Constraint) Logic Programming, Cairo, September 2010. [ .pdf ]
  56. Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Frank Raiser, Thom Frühwirth. Constraint-based hardware synthesis. In 24th Workshop on (Constraint) Logic Programming, Cairo, September 2010. [ .pdf ]
  57. 2009

  58. Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. Electronic Notes in Theoretical Computer Science - Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009), 253(4):91-111, November 2009. [ DOI | .pdf ]
  59. Thom Frühwirth, Constraint Handling Rules, Cambridge University Press, August 2009.
  60. Frank Raiser, Hariolf Betz, Thom Frühwirth, Equivalence of CHR states revisited, 6th International Workshop on Constraint Handling Rules (CHR'09) at ICLP'09, Pasadena, CA, USA, July 2009. [ .pdf ]
  61. Frank Raiser and Thom Frühwirth, Operational equivalence of graph transformation systems, 6th International Workshop on Constraint Handling Rules (CHR'09) at ICLP'09, Pasadena, CA, USA, July 2009. [ .pdf ]
  62. 2008

  63. Tom Schrijvers, Thom Frühwirth, Eds., Constraint Handling Rules: Current Research Topics, Springer LNAI 5388, December 2008.
  64. Thom Frühwirth, Welcome to Constraint Handling Rules, Tom Schrijvers, Thom Frühwirth, Eds., Constraint Handling Rules: Current Research Topics Springer LNAI 5388, December 2008.
  65. Tom Schrijvers, Frank Raiser, Thom Frühwirth, Eds., Proceedings of the 5th Workshop on Constraint Handling Rules (CHR 2008), RISC-Linz Report Series 08-10, Hagenberg/Linz, Austria, July 2008.
  66. Frank Raiser and Thom Frühwirth, Towards Term Rewriting Systems in Constraint Handling Rules, 5th Workshop on Constraint Handling Rules (CHR 2008), Hagenberg/Linz, Austria, July 2008.
  67. Jon Sneyers and Thom Frühwirth, Generalized CHR Machines, 5th Workshop on Constraint Handling Rules (CHR 2008), Hagenberg/Linz, Austria, July 2008.
  68. Thom Frühwirth, Quasi-Linear-Time Algorithms by Generalisation of Union-Find, F. Fages, F. Rossi, S. Soliman , Eds., Recent Advances in Constraints (CSCLP 2007), Springer LNAI 5129, 2008.
  69. Djelloul, K., T.-B.-H. Dao, T. Frühwirth, Theory of Finite or Infinite Trees Revisited, TPLP Journal 8 (4): 431-489, Cambridge University Press, 2008.
  70. 2007

  71. Djelloul, K., T.-B.-H. Dao, T. Frühwirth, Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees, C. C. Hung, A. Rosa, Eds., The 2007 ACM Symposium on Applied Computing (SAC 2007), ACM Press, 2007.
  72. Djelloul, K., T.-B.-H. Dao, T. Frühwirth, Extension au premier ordre de l'unification des termes par CHR, Troisiemes Journees Francophones de Programmation par Contraintes (JFPC07), INRIA, Rocquencourt, France, 2007.
  73. Frühwirth, T., Description Logic and Rules the CHR Way (Extended Abstract), [Slides], in K. Djelloul, G. J. Duck, M. Sulzmann, Eds., Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Porto, Portugal, September 2007.
  74. M. Meister, K. Djelloul, T. Frühwirth, Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees, in F. Azevedo, P. Barahona, F. Fages, F. Rossi, Eds., Recent Advances in Constraints, Springer LNAI 4651, 2007.
  75. M. Meister, T. Frühwirth, Reconstructing almost-linear Tree Equation Solving Algorithms in CHR, in F. Fages, F. Rossi, S. Soliman, Eds., Constraint Solving and Constraint Logic Programming (CSCLP'07), 12th Annual ERCIM Workshop, Paris, June 2007.
  76. 2006

  77. T. Schrijvers, T. Frühwirth, Eds., Proceedings of CHR 2006 Third Workshop on Constraint Handling Rules, Technical Report CW 452, Departement Computerwetenschappen, Katholieke Universiteit Leuven, Belgium, July 2006.
  78. T. Frühwirth, Deriving Linear-Time Algorithms from Union-Find in CHR, [Slides], CHR 2006, Venice, Italy, July 2006.
  79. M. Meister, T. Frühwirth, Complexity of the CHR Rational Tree Equation Solver, CHR 2006, Venice, Italy, July 2006.
  80. T. Frühwirth, Constraint Handling Rules - The Story So Far, [Slides], Invited Tutorial Paper, ACM PPDP'06, Venice, Italy, July 2006.
  81. T. Frühwirth, L. Michel and C. Schulte, Constraints in Procedural and Concurrent Languages, Chapter 13 in Handbook of Constraint Programming, F. Rossi, P. van Beek, T. Walsh , Eds., Elsevier, 2006.
  82. T. Frühwirth, Constraint Systems and Solvers for Constraint Programming, Special Issue of Archives of Control Sciences (ACS) on Constraint Programming for Decision and Control, R. Bartak, Ed., Silesian University of Technology, Gliwice, Poland, 2006.
  83. T. Frühwirth, Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains, Recent Advances in Constraints 2005 (CSCLP 2005), B. Hnich, M. Carlson, F. Fages, F. Rossi, Eds., Springer LNAI 3978, 2006.
  84. Tom Schrijvers and Thom Frühwirth, Optimal Union-Find in Constraint Handling Rules, [material], Programming Pearl, Theory and Practice of Logic Programming, Cambridge University Press, Vol 6(1), 2006. 
  85. T. Schrijvers, B. Demoen, G. Duck, P. Stuckey, T. Frühwirth, Automatic implication checking for CHR constraints, [report], 6th International Workshop on Rule-Based Programming, Nara, Japan, April 2005, published in ENTCS 147:1, January 2006.
  86. 2005

  87. Hariolf Betz and T. Frühwirth, A Linear-Logic Semantics for Constraint Handling Rules, [slides (ppt)], 11th Conference on Principles and Practice of Constraint Programming CP 2005, LNCS 3709, Springer Verlag, October 2005.
  88. T. Frühwirth, Parallelizing Union-Find in Constraint Handling Rules Using Confluence, [slides], [material], 21st Conference on Logic Programming ICLP 2005, LNCS 3668, Springer Verlag, October 2005.
  89. T. Frühwirth, Logical Rules for a Lexicographic Order Constraint Solver, [slides], Second Workshop on Constraint Handling Rules (CHR 2005), Barcelona/Sitges, Spain, October 2005.
  90. T. Schrijvers and T. Frühwirth, Eds., Proceedings of the Second Workshop on Constraint Handling Rules (CHR 2005), at ICLP'05, Barcelona/Sitges, Spain, October 2005.
  91. S. Abdennadher, T. Frühwirth and C. Holzbaur, Eds., Special Issue on Constraint Handling Rules, Journal on Theory and Practice of Logic Programming (TPLP), Cambridge University Press, Vol 5(4&5), July & September 2005.
  92. Thom Frühwirth, Specialization of Concurrent Guarded Multi-Set Transformation Rules, Logic Based Program Synthesis and Transformation - LOPSTR 2004, Revised Selected Papers, (Sandro Etalle, Ed.), LNCS 3573, Springer Verlag, 2005.
  93. Armin Wolf, Thom Frühwirth, Marc Meister, Eds., 19th Workshop on (Constraint) Logic Programming W(C)LP 2005, Ulmer Informatik-Berichte Nr. 2005-01, University of Ulm, February, 2005.
  94. T. Schrijvers and T. Frühwirth, Analysing the CHR Implementation of Union-Find, [slides], [material], 19th Workshop on (Constraint) Logic Programming, University of Ulm, February, 2005.

    2004

  95. Susanne Biundo, Thom Frühwirth, Günther Palm, Eds., KI 2004: Advances in Artificial Intelligence, Proccedings of the 27th Annual German Conference on Artificial Intelligence, Springer LNAI 3238, 2004.
  96. Susanne Biundo, Thom Frühwirth, Günther Palm, Eds., Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence, Ulmer Informatik-Berichte Nr. 2004-03, University of Ulm, Germany, September 2004.
  97. Tom Schrijvers and Thom Frühwirth, Implementing and Analysing Union-Find in CHR, K.U.Leuven, Department of Computer Science, Technical Report CW 389, July 2004.
  98. Thom Frühwirth, Marc Meister, Eds., First Workshop on Constraint Handling Rules: Selected Contributions, Ulmer Informatik-Berichte Nr. 2004-01, University of Ulm, Germany, May 2004.
  99. S. Abdennadher and T. Frühwirth, Integration and Optimization of Rule-Based Constraint Solvers, Logic Based Program Synthesis and Transformation - LOPSTR 2003, Revised Selected Papers, (M. Bruynooghe, ed.), LNCS 3018, Springer Verlag, 2004.
  100. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving in Constraint Handling Rules, Special Issue on Preferences in AI and CP, (U. Junker, ed.), Computational Intelligence 20(2), Blackwell Publishing, May 2004.

    2003

  101. T. Frühwirth and C. Holzbaur, Source-to-Source Transformation for a Class of Expressive Rules, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003), Reggio Calabria, Italy, September 2003.
  102. S. Abdennadher and T. Frühwirth, Integration and Optimization of Rule-based Constraint Solvers, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03), Uppsala, Sweden, August 2003.
  103. T. Frühwirth and S. Abdennadher, Essentials of Constraint Programming, Springer Verlag, February 2003.

    2002

  104. T. Frühwirth, A. Di Pierro and H. Wiklicky, Probabilistic Constraint Handling Rules, 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Selected Papers, Marco Comini and Moreno Falaschi, Eds., Vol. 76 of Electronic Notes in Theoretical Computer Science (ENTCS), 2002.
  105. T. Frühwirth, As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs, QAPL'01 - Quantitative Aspects of Programming Laguages, Selected Papers, Alessandra Di Pierro and Herbert Wiklicky, Eds., Vol. 59, No.3 of Electronic Notes in Theoretical Computer Science (ENTCS), 2002.
  106. T. Frühwirth, A. Di Pierro and H. Wiklicky, Probabilistic Constraint Handling Rules, 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR, University of Udine, Italy, June 2002.
  107. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving, 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR, University of Udine, Italy, June 2002.
  108. S. Abdennadher and T. Frühwirth, Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers, Onziemes Journees Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Nice, France, May 2002.
  109. T. Frühwirth, As Time Goes By: Automatic Complexity Analysis of Simplification Rules, 8th Intl Conf on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 2002.
  110. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving in CHR (short, revised version), ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain, March 2002.
  111. P. S. Eaton, T. Frühwirth and M. Tambe, Eds., Constraint Agents, Special Issue Constraints Journal 7(1), Kluwer, January 2002.

    2001

  112. S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint Propagation and Solving in CHR, Third Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01) at CP'01 and ICLP'01, Paphos, Cyprus, December 2001.
  113. T. Frühwirth, A. Di Pierro, H. Wiklicky, Towards Probabilistic Constraint Handling Rules, Third Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01) at CP'01 and ICLP'01, Paphos, Cyprus, December 2001.
  114. T. Frühwirth, As Time Goes By: Complexity Analysis of Simplification Rules, Workshop on Quantitative Aspects of Programming Laguages (QAPL'01) at the Conference on Principles, Logics, and Implementations of high-level programming languages (PLI'01), Firenze, Italy, September 2001.
  115. T. Frühwirth, On the Number of Rule Applications in Constraint Programs, Joint Conference on Declarative Programming AGP'00, (A. Dovier, M. C. Meo, A. Omicini, Eds.), Electronic Notes on Theoretical Computer Science (ENTCS), Vol 48, June 2001.
  116. T. Frühwirth and S. Abdennadher, The Munich Rent Advisor: A Success for Logic Programming on the Internet, Special Issue on Logic Programming and the Internet (M. Hermenegildo, L. Naish and L. Sterling, Eds.), Journal on Theory and Practice of Logic Programming (TPLP), Cambridge University Press, Vol 1(3), May 2001.
  117. A. Raffaeta and T. Frühwirth, Spatio-Temporal Annotated Constraint Logic Programming, Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), Las Vegas, USA, March 2001.

    2000

  118. C. Holzbaur and T. Frühwirth, Constraint Handling Rules Manual for Yap 4.13 Prolog, (L. Damas and V.S. Costa, Eds.), Universidade do Porto, December 2000.
  119. T. Frühwirth, Predicting Derivation Lengths in Rule-based Constraint Programs, Neuviemes Journees Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2000), Marseille, France, June 2000. Paper.
  120. T. Frühwirth, Proving Termination of Constraint Solver Programs, in New Trends in Constraints, Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, 1999, (K.R. Apt, A.C. Kakas, E. Monfroy and F. Rossi, Eds.), Springer LNAI 1865, May 2000. Paper.
  121. A. Raffaeta and T. Frühwirth, Semantics for Temporal Annotated Constraint Logic Programming, in Labelled Deduction (D. Basin, M. D'Agostino, D. Gabbay, S. Matthews and L. Vigano, Eds.), Applied Logic Series, Kluwer Academic Publishers, May 2000. Paper.
  122. M. Wirsing and T. Frühwirth, Eds., AMAST'96, Special Issue of Theoretical Computer Science, Vol 239/1, Elsevier, May 2000.
  123. C. Holzbaur and T. Frühwirth, A Prolog Constraint Handling Rules Compiler and Runtime System, Special Issue Journal of Applied Artificial Intelligence on Constraint Handling Rules (C. Holzbaur and T. Frühwirth, Eds.), Taylor & Francis, Vol 14(4), April 2000. Paper.
  124. C. Holzbaur and T. Frühwirth, Eds., Constraint Handling Rules, Special Issue Journal of Applied Artificial Intelligence, Taylor & Francis, Vol 14(4), April 2000. CHR Special.
  125. A. E. M. Ciarlini and T. Frühwirth, Automatic Derivation of Meaningful Experiments for Hybrid Systems, ACM SIGSIM Conference on AI, Simulation and Planning (AIS'2000), Tucson, Arizona, USA, March 2000. Paper [slides].
  126. A. Raffaeta and T. Frühwirth, Two Semantics for Temporal Annotated Constraint Logic Programming, in Intensional Programming II, Based on the Papers at ISLIP'99, (M. Gergatsoulis and P. Rondogiannis, Eds.), World Scientific Singapore, pp. 78-92, March 2000. Paper.
  127. T. Frühwirth, Constraint Solving with Constraint Handling Rules, in Intensional Programming II, Based on the Papers at ISLIP'99, (M. Gergatsoulis and P. Rondogiannis, Eds.), World Scientific Singapore, pp. 14-30, March 2000. Paper. [slides].
  128. T. Frühwirth and P. Brisset, Optimal Placement of Base Stations in Wireless Indoor Communication Networks, Special Issue on Practical Applications of Constraint Technology, (M. Wallace and G. Freuder, Eds.), IEEE Intelligent Systems Magazine Vol 15(1), IEEE Press, USA, January/February 2000. Paper.
  129. S. Abdennadher and T. Frühwirth, Definition von angepassten Constraint-Solvern mit Constraint Handling Rules, F. Bry, U. Geske, D. Seipel (Eds.), 14. Workshop Logische Programmierung (WLP 2000), Würzburg, Germany, GMD Report No. 90, January 2000.
  130. 1999

  131. A. E. M. Ciarlini and T. Frühwirth, Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems, Poster, Sixteenth International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, December 1999. Poster.
  132. T. Frühwirth, Termination of CHR Constraint Solvers, ERCIM Working Group on Constraints / CompulogNet Area on Constraint Programming Workshop, Paphos, Cyprus, October 1999. [slides].
  133. S. Abdennadher and T. Frühwirth, Operational Equivalence of CHR Programs and Constraints, Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandra, Virginia, USA, Springer LNCS, October 1999. Paper. Paper with proofs. [slides].
  134. C. Holzbaur and T. Frühwirth, Compiling Constraint Handling Rules into Prolog with Attributed Variables, ACM International Conference on Principles and Practice of Declarative Programming (PPDP'99), Paris, France, September/October 1999. Paper.
  135. C. Holzbaur and T. Frühwirth, A Compiler for Constraint Handling Rules based on Partial Evaluation, 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, Italy, September 1999. Paper.
  136. S. Abdennadher, T. Frühwirth and H. Meuss, Semantics and Confluence of Constraint Simplification Rules, Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming (E. Freuder, ed.), Kluwer Academic Publishers, Vol 4(2), May 1999. Paper.
  137. A. E. M. Ciarlini and T. Frühwirth, Using Constraint Logic Programming for Software Validation, Fifth Workshop on the German-Brazilian Bilateral Programme for Scientific and Technological Cooperation, Koenigswinter, Germany, March 1999, Paper. [slides].

    1998

  138. C. Holzbaur and T. Frühwirth, Constraint Handling Rules Reference Manual for Sicstus Prolog, Technical Report TR-98-01, Österreichisches Forschungsinstitut für Artificial Intelligence, Vienna, Austria, July 1998, CHR Manual (html) , CHR Manual.
  139. T. Frühwirth, A declarative language for constraint systems, Habilitation, Institut für Informatik, Ludwig-Maximilians-University Munich, Germany, July 1998.
  140. C. Holzbaur and T. Frühwirth, Compiling Constraint Handling Rules (CHR), Third ERCIM/Compulog Network Workshop on Constraints, CWI Amsterdam, The Netherlands, September 1998, Paper.
  141. C. Holzbaur and T. Frühwirth, Join Evaluation Schemata for Constraint Handling Rules, 13th Workshop Logische Programmierung WLP'98, TU Vienna, Austria, September 1998, Paper.
  142. T. Frühwirth, Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriot, Eds.), Journal of Logic Programming, Vol 37(1-3), pp 95-138, October 1998, Paper.
  143. S. Abdennadher and T. Frühwirth, On Completion of Constraint Handling Rules, Fourth International Conference on Principles and Practice of Constraint Programming (CP98), Pisa, Italy, October 1998, Paper. [slides].
  144. T. Frühwirth and P. Brisset, Optimal Placement of Base Stations in Wireless Indoor Telecommunication, Winner of telecom application contest, Fourth International Conference on Principles and Practice of Constraint Programming (CP98), Pisa, Italy, October 1998, [slides], Paper.
  145. M. Wirsing and T. Frühwirth, Eds., An der Schwelle zum nächsten Jahrtausend: Informatik für Menschen, Organisationen, Forschung und Lehre, Proceedings Tag der Informatik, LMU Munich, December 1998.
  146. 1997

  147. T. Frühwirth and P. Brisset, Optimal Planning of Digital Cordless Telecommunication Systems, Third International Conference on The Practical Application of Constraint Technology (PACT97), London, U.K., April 1997, [slides], Paper.
  148. T. Frühwirth and S. Abdennadher, Der Mietspiegel im Internet, Ein Fall f"ur Constraint-Logikprogrammierung (in German), KI - K"unstliche Intelligenz 1/97, Themenheft Constraints (H. W. Guesgen and J. Hertzberg, Eds.), April 1997, Paper.
  149. T. Frühwirth and S. Abdennadher, Anwendungen Constraintbasierter Programmierung (in German), GI Informatik 97 Jahrestagung, Springer LNCS, Aachen, September 1997, Paper.
  150. T. Frühwirth and S. Abdennadher, Constraint-Programmierung (in German), Textbook, Springer, September 1997, More (html).

    1996

  151. S. Abdennadher, T. Frühwirth and H. Meuss, Confluent Simplification Rules, Technical Report PMS-FB-1996-7, Institute for Informatics, Ludwig-Maximilians-University Munich, Germany, January 1996, [abstract], Paper.
  152. T. Frühwirth, J.-R. Molwitz and P. Brisset, Planning Cordless Business Communication Systems, IEEE Expert Magazine, Special Track on Intelligent Telecommunications, February 1996.
  153. T. Frühwirth, Temporal Annotated Constraint Logic Programming, Journal of Symbolic Computation, Special issue on Executable Temporal Logics (M. Fisher, M. Orgun and S. Kono, Eds.), Vol. 22, pp. 555-583, Academic Press, 1996, Paper.
  154. S. Abdennadher, T. Frühwirth and P. Blenninger, Rent Estimates with Constraints over the Internet - System Description, Journees Francophones de Programmation en Logique et programmation par Contraintes (JFPLC'96), Clermont Ferrand, France, June 1996, also Technical Report PMS-FB-1996-9, [abstract], Short Paper.
  155. T. Frühwirth, S. Abdennadher and H. Meuss, Implementing Constraint Solvers: Theory and Practice, Forum de la Recherche en Informatique'96 (FRI'96), Tunis, Tunesia, July 1996 (also Technical Report PMS-FB-1996-14).
  156. S. Abdennadher, T. Frühwirth and H. Meuss, On Confluence of Constraint Handling Rules, Second International Conference on Principles and Practice of Constraint Programming CP'96, Cambridge, USA, Springer LNCS, August 1996, also Technical Report PMS-FB-1996-8, [abstract], Paper.
  157. T. Frühwirth and S. Abdennadher, The Munich Rent Advisor, 1st Workshop on Logic Programming Tools for Internet Applications in conjunction with JICSLP'96, Bonn, Germany, September 1996, Paper.
  158. 1995

  159. T. Frühwirth and P. Hanschke, Terminological Reasoning with Constraint Handling Rules, Chapter in Principles and Practice of Constraint Programming (P. Van Hentenryck and V.J. Saraswat, Eds.), MIT Press, April 1995.
  160. S. Abdennadher, T. Frühwirth, H. Meuss and M. Meuss, A Confluence Test for Concurrent Constraint Programs, Technical Report PMS-FB-1995-4, Institut für Informatik, Ludwig-Maximilians-University Munich, April 1995.
  161. T. Frühwirth, Constraint Handling Rules, Chapter in "Constraint Programming: Basics and Trends" (A. Podelski, ed.), Springer LNCS 910, March 1995, pp. 90ff.
  162. T. Frühwirth, Temporal Logic and Annotated Constraint Logic Programming, Chapter in Executable Modal and Temporal Logics (M. Fisher, ed.), Springer LNAI 897, pp.58-68, March 1995.
  163. T. Frühwirth and P. Brisset, High-Level Implementations of Constraint Handling Rules, Technical Report ECRC-95-20, ECRC Munich, Germany, June 1995.
  164. T. Frühwirth, J.-R. Molwitz and P. Brisset, Planning Cordless Business Communication Systems, Technical Report ECRC-95-32, ECRC Munich, Germany, November 1995.
  165. 1994

  166. T. Frühwirth and Ph. Hanschke, Terminological Reasoning with Constraint Handling Rules, Technical Report ECRC-94-6, ECRC Munich, Germany, February 1994.
  167. T. Frühwirth, Temporal Reasoning with Constraint Handling Rules, Technical Report ECRC-94-5, ECRC Munich, Germany, February 1994, (first published as internal report CORE-93-8, January 1993).
  168. T. Frühwirth, Temporal Annotated Constraint Logic Programming, Workshop on Logic and Change, Marseille, France, March 1994.
  169. T. Frühwirth and P. Brisset, The Constraint Handling Rules Library, Chapter in ECLiPSe 3.4 ff Extensions User Manual, ECRC Munich, Germany, July 1994. Manual Eclipse 5.10.
  170. T. Frühwirth, Annotating Non-Atomic Formulas with Temporal Information, Workshop on Logic and Change at ECAI 94, Amsterdam, The Netherlands, August 1994.
  171. T. Frühwirth, Constraint Handling Rules (Extended Abstract), Norbert E. Fuchs, Georg Gottlob (Eds.), Proceedings of the Tenth Logic Programming Workshop (WLP 94), Technical Report 94/10, Institut für Informatik, University of Zurich, September 1994.
  172. T. Frühwirth, Annotated Constraint Logic Programming Applied to Temporal Reasoning, Programming Language Implementation and Logic Programming (PLILP), Madrid, Spain, Springer LNCS, September 1994, also available as Technical Report ECRC-94-22.
  173. 1993

  174. T. Frühwirth, Entailment Simplification and Constraint Constructors for User-Defined Constraints, 3rd Workshop on Constraint Logic Programming (WCLP 93), Marseille, France, March 1993.
  175. T. Frühwirth and Ph. Hanschke, Terminological Reasoning with Constraint Handling Rules, Workshop on Principles and Practice of Constraint Programming, Newport, RI, USA, April 1993 (also ECRC internal report CORE-93-13, February 1993).
  176. T. Frühwirth, User-Defined Constraint Handling, Poster, International Conference on Logic Programming (ICLP 93), Budapest, Hungary, MIT Press, June 1993.
  177. T. Frühwirth, Temporal Logic and Annotated Constraint Logic Programming, IJCAI 93 Workshop on Executable Modal and Temporal Logic, Chambery, France, August 1993.
  178. 1992

  179. T. Frühwirth, A. Herold, V. Küchenhoff, T. Le Provost, P. Lim, E. Monfroy and M. Wallace. Constraint Logic Programming - An Informal Introduction, Chapter in Logic Programming in Action (G. Comyn, N.E. Fuchs, M.J. Ratcliffe, Eds.), Springer LNCS 636, September 1992 (also Technical Report ECRC-93-5, ECRC Munich, Germany, February 1993).
  180. T. Frühwirth, A. Herold, V. Küchenhoff, T. Le Provost, P. Lim, E. Monfroy and M. Wallace, The CORE Approach to Constraint Logic Programming, FGCS 92, Workshop on Constraint Logic Programming, Tokyo, Japan, June 1992.
  181. E. Yardeni, T. Frühwirth, E. Shapiro, Polymorphically Typed Logic Programs, Chapter 2 in Types in Logic Programming (F. Pfenning, ed.), MIT Press, 1992 (also Technical Report ECRC-LP-61, ECRC Munich, Germany, 1991).
  182. T. Frühwirth, Constraint Simplification Rules, JICSLP'92 Workshop on Constraint Logic Programming, Washington D.C., USA, November 1992 (also Technical Report ECRC-92-18, ECRC Munich, Germany, July 1992).
  183. 1991

  184. E. Yardeni, T. Frühwirth, E. Shapiro, Polymorphically Typed Logic Programs, 8th International Conference on Logic Programming (ICLP), pp. 379-393, (K. Furukuwa and P. Deransart, eds.) MIT Press, June 1991.
  185. T. Frühwirth, E. Shapiro, M. Vardi and E. Yardeni, Logic Programs as Types for Logic Programs, 6th Annual IEEE Symposium on Logic in Computer Science (LICS), (G. Kahn, ed.), Amsterdam, July 1991, pp. 300-309, corrected version.
  186. T. Frühwirth, Introducing Simplification Rules (Towards a framework for extensible constraint logic programming), Seminar on Theorem Proving and Logic Programming with Constraints, Dagstuhl, Germany, October 1991.
  187. T. Frühwirth, Introducing Simplification Rules, Workshop Logisches Programmieren, Gosen/Berlin, Germany, October 1991 (also Internal Report ECRC-LP-63, ECRC Munich, Germany, October 1991).
  188. 1990

  189. T. Frühwirth, Types in Logic Programming, PhD. Thesis, Technical University Vienna, Inst. f. Angew. Informatik, Austria, March 1990.
  190. T. Frühwirth, Prolog und Meta-Interpreter (in German), Chapter 5 in Expertensysteme - Grundlagen und Anwendungen, (T. Frühwirth, G. Gottlob and W. Horn, eds.), Reihe Angewandte Informatik, Springer Verlag, Austria, 1990.
  191. T. Frühwirth, G. Gottlob and W. Horn, eds., Expertensysteme - Grundlagen und Anwendungen, Reihe Angewandte Informatik, Springer Verlag, Austria, 1990.
  192. T. Frühwirth, Using Meta-interpreters for Polymorphic Type Checking, 2nd Workshop on Meta-Programming in Logic (META 90), K.U. Leuven, Belgium, April 1990.
  193. T. Frühwirth, Polymorphic Type Checking with Subtypes in Prolog, Int. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO 90), Capri, Italy, Springer LNCS, April 1990.
  194. T. Frühwirth, Constraint Logic Programming - An Overview, Technical Report E181-2, Christian Doppler Laboratory For Expert Systems, Vienna, Austria, August 1990.
  195. 1989

  196. T. Frühwirth, Type Inference by Program Transformation and Partial Evaluation, Chapter 14 in Meta-Programming in Logic Programming (H. Abramson and M. H. Rogers, eds.), MIT Press, 1989.
  197. T. Frühwirth, On Fixpoint Semantics for Types in Logic Programming Languages, Technical Report, CS at SUNY at Stony Brook, USA, July 1989.
  198. T. Frühwirth, Towards a Fully Polymorphic Type System for Prolog, Technical Report TR 89/26, State University of New York at Stony Brook, Department of Computer Science, Presented at the Workshop on Types in Logic Programming at the North American Conference on Logic Programming (NACLP 89), October 1989.
  199. T. Frühwirth, A Polymorphic Type Checking System for Prolog in HiLog, 6th Israel Conference on Artificial Intelligence and Computer Vision, Ramat Gan, Israel, December 1989.
  200. 1988

  201. T. Frühwirth, Some Thoughts on Type Inference in Prolog, 10th Conf. Computers at the University, Cavtat, Yugoslavia, June 1988.
  202. T. Frühwirth, Type Inference by Program Transformation and Partial Evaluation, First Workshop on Meta-Programming in Logic Programming (META 88), Bristol, UK, June 1988.
  203. T. Frühwirth, Introducing Type Inference by Program Transformation, 8th SCCC Int. Conf. on Computer Science, Santiago, Chile, July 1988.
  204. T. Frühwirth, A Type Language for Prolog and Its Application to Type Inference, Int. Conf. on Computational Intelligence (DISCO 88), Milano, Italy, September 1988.
  205. T. Frühwirth, Type Inference by Program Transformation and Partial Evaluation, IEEE Int. Conf. on Computer Languages '88, Miami Beach, FL, USA, October 1988, IEEE Press.
  206. 1987

  207. T. Frühwirth and E. Kühn, VIP-DBS: Ein integriertes logik-orientiertes Datenbank Management System (in German), Workshop Logisches Programmieren at GMD, St. Augustin, Germany, September 1987.
  208. 1986

  209. T. Frühwirth, Prolog, Logik und Datenbanken (in German), Master Thesis, Inst. f. Prakt. Informatik, Technical University Vienna, Austria, May 1986.
  210. T. Frühwirth and E. Kühn, VIP-DBS: Ein integriertes logik-orientiertes Datenbank Management System unter VIP-Prolog, Fachtagung Die Zukunft der Informationssysteme, Linz, Austria, Springer Verlag, September 1986.
  211. 1985

  212. T. Frühwirth, A. Krall, E. Kühn et al., VIP - A Prolog Programming Environment, Technical Report VIP TR 1802/85/1, Technical University Vienna, Austria, January 1985.
  213. T. Frühwirth and E. Kühn, VIP-DBS: An Integrated Logic Database System Based on Prolog, Technical Report VIP TR 1802/85/4, Technical University Vienna, Austria, November 1985.

Thom Frühwirth, June 2, 2017