The listing does not include tutorial and talk notes, project deliverables
and internal reports.
Most
cited research papers of Thom Frühwirth.
2017

Daniel Gall and Thom Frühwirth,
A Decidable Confluence Test for Cognitive Models in ACTR,
International Joint Conference on Rules and Reasoning (RuleML+RR 2017),
Springer LNCS 10364,
London, UK, July 2017.

Nada Sharaf, Slim Abdennadher, Thom Frühwirth,
A RuleBased Approach for Automatic Interaction Detection and Annotation,
21st International Conference Information Visualisation (iV2017),
London, UK, July 2017.

Nada Sharaf, Slim Abdennadher, Thom Frühwirth,
CHRGraph: A Platform for Animating Tree and Graph Algorithms,
Poster,
21st International Conference Information Visualisation (iV2017),
London, UK, July 2017.
2016

Nada Sharaf, Slim Abdennadher, Thom Frühwirth and Daniel Gall.
Animating Cognitive Models and Architectures: A Rulebased Approach,
The 2nd Global Conference on Artificial Intelligence (GCAI 2016),
Berlin, September/October 2016.

Thom Frühwirth.
Why Can't You Behave? NonTermination Analysis of Direct Recursive Rules with Constraints (Full Version),
10th International Web Rule Symposium (RuleML 2016), New York, July 2016.

Daniel Gall and Thom Frühwirth.
Translation of Cognitive Models from ACTR to Constraint Handling Rules,
10th International Web Rule Symposium (RuleML 2016), New York, July 2016.

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.

Nada Sharaf, Slim Abdennadher and Thom Frühwirth.
A Rulebased Approach for Animating Java Algorithms,
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
2015
Publishing since 30 years.

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.

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.

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).

Daniel Gall and Thom Frühwirth.
A Refined Operational Semantics for ACTR,
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015),
Siena, Italy, July 2015.

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.

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 IJCAI2015,
Buenos Aires, July 2015.

Daniel Gall and Thom Frühwirth.
An Adaptable Implementation of ACTR with Refraction in Constraint Handling Rules,
13th International Conference on Cognitive Modeling (ICCM),
Groningen, April 2015.

Daniel Gall and Thom Frühwirth.
A Formal Semantics for the Cognitive Architecture ACTR,
Revised Selected Papers of the 24th International Symposium on LogicBased Program Synthesis and Transformation
(LOPSTR 2014), Springer LNCS 8981, 2015.

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 LogicBased Program Synthesis and Transformation
(LOPSTR 2014), Springer LNCS 8981, 2015.
2014

Hariolf Betz,
Thom Frühwirth and Uwe Schoening (editors),
A Unified Analytical Foundation for Constraint Handling Rules,
BOD,
ISBN 9783734732508,
December 2014.

Robert Kowalski,
Thom Frühwirth (editor),
Logic for Problem Solving, Revisited,
BOD,
ISBN 9783837036299,
November 2014.

Daniel Gall and Thom Frühwirth.
Exchanging Conflict Resolution in an Adaptable Implementation of ACTR,
Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014),
Theory and Practice of Logic Programming,
14(45): 525538,
Cambridge University Press, 2014.

Aya Saad, Thom Frühwirth and Carmen Gervet.
The PBox CDFIntervals: 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(45): 461475,
Cambridge University Press, 2014.

Nada Sharaf, Slim Abdennadher and Thom Frühwirth.
A Visualization Tool for Constraint Handling Rules,
24th International Symposium on LogicBased Program Synthesis and Transformation
(LOPSTR 2014), Canterbury, UK, September 2014.

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.

Edward Tsang,
Thom Frühwirth (editor),
Foundations of Constraint Satisfaction,
BOD,
ISBN 9783735723666,
May 2014.

Jan Wielemaker, Thom Frühwirth, Leslie De Koninck, Markus Triska and Marcus Uneson,
SWI Prolog Reference Manual 7.1,
BOD,
ISBN 9783735738035,
May 2014.

Mats Carlsson,
Thom Frühwirth (editor),
SICStus Prolog User's Manual 4.3,
BOD,
ISBN 9783735737441,
May 2014.
2013

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 45, pp. 769781, Cambridge University Press, 2013.

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, 45OnlineSupplement, Cambridge University Press, 2013.

Amira Zaki, Matthias Rau, and Thom Frühwirth.
CHRIDE: An Eclipse PlugIn 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.

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.

Hariolf Betz and Thom Frühwirth.
LinearLogic Based Analysis of Constraint Handling Rules with Disjunction,
Journal ACM Transactions on Computational Logic (TOCL)
Volume 14:1, p. 137,
ACM, New York, February 2013.
2012

Aya Saad, Carmen Gervet and Thom Frühwirth.
CDFIntervals Revisited,
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012),
Quebec City, Canada,
October 2012.
[ .pdf ]

Jan Wielemaker, Thom Frühwirth, Leslie De Koninck, Markus Triska and Marcus Uneson.
SWI Prolog Reference Manual 6.2.2,
ISBN 9783848226177, BOD, September 2012.

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 ]

Alia El Bolock, Amira Zaki and Thom Frühwirth.
Substitutionbased CHR Solver for Bivariate Binomial Equation Sets,
CHR 2012:
Ninth International Workshop on Constraint Handling Rules,
Budapest, Hungary,
September 2012.
[ .pdf ]

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 ]

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 ]
2011

Johannes Langbein, Roland Stelzer, Thom Frühwirth.
A Rulebased Approach to Longterm Routing for Autonomous Sailboats.
4th International Robotic Sailing Conference (WRSC 2011),
August 2011, Lübeck, Germany.
[ .pdf ]

Thom Frühwirth and Frank Raiser (editors).
Constraint Handling Rules: Compilation, Execution, and Analysis.
ISBN 9783839115916, BOD, March 2011.

Thom Frühwirth and Frank Raiser.
Foreword and Appendix, Chapters in Constraint Handling Rules: Compilation, Execution, and Analysis.
ISBN 9783839115916, BOD, March 2011.

Frank Raiser and Thom Frühwirth.
Analysing graph transformation systems through constraint handling rules.
Theory and Practice of Logic Programming, TPLP 11 (1):65109, 2011.
[ DOI.pdf ]
2010

Florian Geiselhart, Frank Raiser, Jon Sneyers, Thom Frühwirth.
MTSeq  multitouchenabled 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 ]

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 ]

Hariolf Betz, Frank Raiser, Thom Frühwirth.
A complete and terminating execution model for constraint handling
rules.
Ulmer Informatik Berichte 201001, Ulm University, January 2010.
[ .pdf ]

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 ]

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(46):597610,
2010.
[ DOI 
.pdf ]

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 ]

Frank Raiser and Thom Frühwirth.
Exhaustive parallel rewriting with multiple removals.
In 24th Workshop on (Constraint) Logic Programming, Cairo, September 2010.
[ .pdf ]

Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Frank Raiser, Thom
Frühwirth.
Constraintbased hardware synthesis.
In 24th Workshop on (Constraint) Logic Programming, Cairo, September 2010.
[ .pdf ]
2009

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):91111, November 2009.
[ DOI 
.pdf ]

Thom Frühwirth,
Constraint Handling Rules,
Cambridge University Press, August 2009.

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 ]

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 ]
2008

Tom Schrijvers, Thom Frühwirth, Eds.,
Constraint Handling Rules: Current Research Topics,
Springer LNAI 5388, December 2008.

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.
 Tom Schrijvers, Frank Raiser, Thom Frühwirth, Eds.,
Proceedings of the 5th Workshop on Constraint Handling Rules (CHR 2008),
RISCLinz Report Series 0810, Hagenberg/Linz, Austria, July 2008.
 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.
 Jon Sneyers and Thom Frühwirth,
Generalized CHR Machines,
5th Workshop on Constraint Handling Rules (CHR 2008),
Hagenberg/Linz, Austria, July 2008.

Thom Frühwirth,
QuasiLinearTime
Algorithms by Generalisation of UnionFind,
F. Fages, F. Rossi, S. Soliman , Eds.,
Recent Advances in Constraints (CSCLP 2007),
Springer LNAI 5129, 2008.
 Djelloul, K., T.B.H. Dao, T. Frühwirth, Theory of Finite or Infinite Trees
Revisited, TPLP Journal 8 (4): 431489, Cambridge University Press,
2008.
2007
 Djelloul, K., T.B.H. Dao, T. Frühwirth, Toward a firstorder extension
of Prolog's unification using CHR: a CHR firstorder 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.
 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.
 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.
 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.
 M. Meister, T. Frühwirth,
Reconstructing almostlinear 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.
2006
 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.
 T. Frühwirth, Deriving
LinearTime Algorithms from UnionFind in CHR, [Slides],
CHR 2006, Venice, Italy, July 2006.
 M. Meister, T. Frühwirth, Complexity
of the CHR Rational Tree Equation Solver, CHR 2006, Venice, Italy, July
2006.
 T. Frühwirth, Constraint
Handling Rules  The Story So Far, [Slides],
Invited Tutorial Paper, ACM PPDP'06, Venice, Italy, July 2006.
 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.
 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.
 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.
 Tom Schrijvers and Thom Frühwirth, Optimal UnionFind in Constraint
Handling Rules, [material],
Programming Pearl, Theory and Practice of Logic Programming, Cambridge University
Press, Vol 6(1), 2006.
 T. Schrijvers, B. Demoen, G. Duck, P. Stuckey, T. Frühwirth,
Automatic
implication checking for CHR constraints, [report],
6th International Workshop on RuleBased Programming, Nara, Japan, April
2005, published in ENTCS 147:1, January 2006.
2005
 Hariolf Betz and T. Frühwirth, A
LinearLogic Semantics for Constraint Handling Rules, [slides
(ppt)], 11th Conference on Principles and Practice of Constraint Programming
CP 2005, LNCS 3709, Springer Verlag, October 2005.
 T. Frühwirth, Parallelizing
UnionFind in Constraint Handling Rules Using Confluence, [slides],
[material],
21st Conference on Logic Programming ICLP 2005, LNCS 3668, Springer Verlag,
October 2005.
 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.
 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.
 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.
 Thom Frühwirth, Specialization
of Concurrent Guarded MultiSet Transformation Rules, Logic Based Program
Synthesis and Transformation  LOPSTR 2004, Revised Selected Papers, (Sandro
Etalle, Ed.), LNCS 3573, Springer Verlag, 2005.
 Armin Wolf, Thom Frühwirth, Marc Meister, Eds., 19th Workshop
on (Constraint) Logic Programming W(C)LP 2005, Ulmer InformatikBerichte
Nr. 200501, University of Ulm, February, 2005.
 T. Schrijvers and T. Frühwirth, Analysing
the CHR Implementation of UnionFind, [slides],
[material],
19th Workshop on (Constraint) Logic Programming, University of Ulm, February,
2005.
2004
 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.
 Susanne Biundo, Thom Frühwirth, Günther Palm, Eds., Poster Proceedings
of the 27th Annual German Conference on Artificial Intelligence, Ulmer
InformatikBerichte Nr. 200403, University of Ulm, Germany, September 2004.
 Tom Schrijvers and Thom Frühwirth, Implementing
and Analysing UnionFind in CHR, K.U.Leuven, Department of Computer
Science, Technical Report CW 389, July 2004.
 Thom Frühwirth, Marc Meister, Eds., First
Workshop on Constraint Handling Rules: Selected Contributions, Ulmer
InformatikBerichte Nr. 200401, University of Ulm, Germany, May 2004.
 S. Abdennadher and T. Frühwirth, Integration and Optimization of RuleBased Constraint
Solvers, Logic Based Program Synthesis and Transformation  LOPSTR 2003,
Revised Selected Papers, (M. Bruynooghe, ed.), LNCS 3018, Springer Verlag,
2004.
 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
 T. Frühwirth and C. Holzbaur, SourcetoSource Transformation for a Class
of Expressive Rules, Joint Conference on Declarative Programming APPIAGULPPRODE
2003 (AGP 2003), Reggio Calabria, Italy, September 2003.
 S. Abdennadher and T. Frühwirth, Integration and Optimization of Rulebased
Constraint Solvers, International Symposium on Logicbased Program Synthesis
and Transformation (LOPSTR'03), Uppsala, Sweden, August 2003.
 T. Frühwirth and S. Abdennadher, Essentials of Constraint Programming, Springer Verlag,
February 2003.
2002
 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.
 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.
 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.
 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.
 S. Abdennadher and T. Frühwirth,
Using Program Analysis for
Integration and Optimization of Rulebased Constraint Solvers, Onziemes
Journees Francophones de Programmation Logique et Programmation
par Contraintes (JFPLC'2002), Nice, France, May 2002.
 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.
 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.
 P. S. Eaton, T. Frühwirth and M. Tambe, Eds., Constraint
Agents, Special Issue Constraints Journal 7(1), Kluwer, January 2002.
2001
 S. Bistarelli, T. Frühwirth, M. Marte and F. Rossi, Soft Constraint
Propagation and Solving in CHR, Third Workshop on RuleBased Constraint
Reasoning and Programming (RCoRP'01) at CP'01 and ICLP'01, Paphos, Cyprus,
December 2001.
 T. Frühwirth, A. Di Pierro, H. Wiklicky,
Towards Probabilistic
Constraint Handling Rules, Third Workshop on RuleBased Constraint Reasoning
and Programming (RCoRP'01) at CP'01 and ICLP'01, Paphos, Cyprus, December
2001.
 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 highlevel
programming languages (PLI'01), Firenze, Italy, September 2001.
 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.
 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.
 A. Raffaeta and T. Frühwirth, SpatioTemporal Annotated Constraint Logic Programming,
Third International Symposium on Practical Aspects of Declarative Languages
(PADL'01), Las Vegas, USA, March 2001.
2000
 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.
 T. Frühwirth, Predicting Derivation Lengths in Rulebased Constraint
Programs, Neuviemes Journees Francophones de Programmation
Logique et Programmation par Contraintes (JFPLC'2000), Marseille, France,
June 2000. Paper.
 T. Frühwirth, Proving Termination of Constraint Solver Programs,
in New Trends in Constraints, Papers from the Joint ERCIM/CompulogNet Workshop,
Cyprus, October 2527, 1999, (K.R. Apt, A.C. Kakas, E. Monfroy and F. Rossi,
Eds.), Springer LNAI 1865, May 2000. Paper.
 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.
 M. Wirsing and T. Frühwirth, Eds.,
AMAST'96, Special Issue of Theoretical Computer Science, Vol 239/1, Elsevier, May 2000.
 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.
 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.
 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].
 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. 7892, March 2000. Paper.
 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.
1430, March 2000. Paper. [slides].
 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.

S. Abdennadher and T. Frühwirth,
Definition von angepassten ConstraintSolvern 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.
1999
 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.
 T. Frühwirth, Termination of CHR Constraint Solvers, ERCIM
Working Group on Constraints / CompulogNet Area on Constraint Programming
Workshop, Paphos, Cyprus, October 1999. [slides].
 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].
 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.
 C. Holzbaur and T. Frühwirth, A Compiler for Constraint Handling
Rules based on Partial Evaluation, 9th International Workshop on Logicbased
Program Synthesis and Transformation (LOPSTR'99), Venice, Italy, September
1999. Paper.
 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.
 A. E. M. Ciarlini and T. Frühwirth, Using Constraint Logic
Programming for Software Validation, Fifth Workshop on the GermanBrazilian
Bilateral Programme for Scientific and Technological Cooperation, Koenigswinter,
Germany, March 1999, Paper. [slides].
1998
 C. Holzbaur and T. Frühwirth, Constraint Handling Rules
Reference Manual for Sicstus Prolog, Technical Report TR9801, Österreichisches
Forschungsinstitut für Artificial Intelligence, Vienna, Austria, July
1998,
CHR Manual (html) , CHR Manual.
 T. Frühwirth, A declarative language for constraint systems,
Habilitation, Institut für Informatik, LudwigMaximiliansUniversity
Munich, Germany, July 1998.
 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.
 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.
 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(13), pp 95138, October
1998, Paper.
 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].
 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.
 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.
1997
 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.
 T. Frühwirth and S. Abdennadher, Der Mietspiegel im Internet,
Ein Fall f"ur ConstraintLogikprogrammierung (in German), KI  K"unstliche
Intelligenz 1/97, Themenheft Constraints (H. W. Guesgen and J. Hertzberg,
Eds.), April 1997, Paper.
 T. Frühwirth and S. Abdennadher, Anwendungen Constraintbasierter
Programmierung (in German), GI Informatik 97 Jahrestagung, Springer LNCS,
Aachen, September 1997, Paper.
 T. Frühwirth and S. Abdennadher, ConstraintProgrammierung
(in German), Textbook, Springer, September 1997, More
(html).
1996
 S. Abdennadher, T. Frühwirth and H. Meuss, Confluent Simplification
Rules, Technical Report PMSFB19967, Institute for Informatics, LudwigMaximiliansUniversity
Munich, Germany, January 1996, [abstract],
Paper.
 T. Frühwirth, J.R. Molwitz and P. Brisset, Planning Cordless
Business Communication Systems, IEEE Expert Magazine, Special Track on Intelligent
Telecommunications, February 1996.
 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. 555583, Academic
Press, 1996, Paper.
 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 PMSFB19969,
[abstract],
Short
Paper.
 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 PMSFB199614).
 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 PMSFB19968, [abstract],
Paper.
 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.
1995
 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.
 S. Abdennadher, T. Frühwirth, H. Meuss and M. Meuss, A Confluence
Test for Concurrent Constraint Programs, Technical Report PMSFB19954,
Institut für Informatik, LudwigMaximiliansUniversity Munich, April
1995.
 T. Frühwirth,
Constraint Handling Rules,
Chapter in "Constraint Programming: Basics and Trends" (A. Podelski, ed.), Springer LNCS 910,
March 1995, pp. 90ff.
 T. Frühwirth, Temporal Logic and Annotated Constraint Logic
Programming, Chapter in Executable Modal and Temporal Logics (M. Fisher,
ed.), Springer LNAI 897, pp.5868, March 1995.
 T. Frühwirth and P. Brisset, HighLevel Implementations
of Constraint Handling Rules, Technical Report ECRC9520, ECRC Munich, Germany,
June 1995.
 T. Frühwirth, J.R. Molwitz and P. Brisset, Planning Cordless
Business Communication Systems, Technical Report ECRC9532, ECRC Munich, Germany,
November 1995.
1994
 T. Frühwirth and Ph. Hanschke, Terminological Reasoning
with Constraint Handling Rules, Technical Report ECRC946, ECRC Munich,
Germany, February 1994.
 T. Frühwirth, Temporal Reasoning with Constraint Handling
Rules, Technical Report ECRC945,
ECRC Munich, Germany, February 1994, (first published as internal report
CORE938, January 1993).
 T. Frühwirth, Temporal Annotated Constraint Logic Programming,
Workshop on Logic and Change, Marseille, France, March 1994.
 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.
 T. Frühwirth, Annotating NonAtomic Formulas with Temporal
Information, Workshop on Logic and Change at ECAI 94, Amsterdam, The Netherlands,
August 1994.
 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.
 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 ECRC9422.
1993
 T. Frühwirth, Entailment
Simplification and Constraint Constructors for UserDefined Constraints,
3rd Workshop on Constraint Logic Programming (WCLP 93), Marseille, France,
March 1993.
 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 CORE9313,
February 1993).
 T. Frühwirth, UserDefined Constraint Handling, Poster,
International Conference on Logic Programming (ICLP 93), Budapest, Hungary,
MIT Press, June 1993.
 T. Frühwirth, Temporal Logic and Annotated Constraint Logic
Programming, IJCAI 93 Workshop on Executable Modal and Temporal Logic,
Chambery, France, August 1993.
1992
 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 ECRC935, ECRC Munich, Germany,
February 1993).
 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.
 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 ECRCLP61, ECRC Munich, Germany,
1991).
 T. Frühwirth, Constraint Simplification Rules,
JICSLP'92 Workshop on Constraint Logic Programming, Washington
D.C., USA, November 1992 (also Technical
Report ECRC9218, ECRC Munich, Germany, July 1992).
1991
 E. Yardeni, T. Frühwirth, E. Shapiro, Polymorphically
Typed Logic Programs, 8th International Conference on Logic Programming
(ICLP), pp. 379393, (K. Furukuwa and P. Deransart, eds.) MIT Press, June
1991.
 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. 300309, corrected version.
 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.
 T. Frühwirth, Introducing Simplification Rules,
Workshop Logisches Programmieren, Gosen/Berlin, Germany, October 1991
(also Internal Report ECRCLP63, ECRC Munich, Germany, October 1991).
1990
 T. Frühwirth,
Types in Logic Programming,
PhD. Thesis,
Technical University Vienna, Inst. f. Angew. Informatik, Austria, March 1990.
 T. Frühwirth, Prolog und MetaInterpreter (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.
 T. Frühwirth, G. Gottlob and W. Horn, eds.,
Expertensysteme  Grundlagen und Anwendungen,
Reihe Angewandte Informatik, Springer Verlag,
Austria, 1990.
 T. Frühwirth, Using Metainterpreters for Polymorphic Type
Checking, 2nd Workshop on MetaProgramming in Logic (META 90), K.U. Leuven,
Belgium, April 1990.
 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.
 T. Frühwirth, Constraint Logic Programming  An Overview,
Technical Report E1812, Christian Doppler Laboratory For Expert Systems,
Vienna, Austria, August 1990.
1989
 T. Frühwirth,
Type Inference by Program Transformation and Partial Evaluation,
Chapter 14 in MetaProgramming in Logic Programming (H.
Abramson and M. H. Rogers, eds.), MIT Press, 1989.
 T. Frühwirth, On Fixpoint Semantics for Types in Logic Programming
Languages, Technical Report, CS at SUNY at Stony Brook, USA, July 1989.
 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.
 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.
1988
 T. Frühwirth, Some Thoughts on Type Inference in Prolog,
10th Conf. Computers at the University, Cavtat, Yugoslavia, June 1988.
 T. Frühwirth, Type Inference by Program Transformation and
Partial Evaluation, First Workshop on MetaProgramming in Logic Programming
(META 88), Bristol, UK, June 1988.
 T. Frühwirth, Introducing Type Inference by Program Transformation,
8th SCCC Int. Conf. on Computer Science, Santiago, Chile, July 1988.
 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.
 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.
1987
 T. Frühwirth and E. Kühn, VIPDBS: Ein integriertes
logikorientiertes Datenbank Management System (in German), Workshop Logisches
Programmieren at GMD, St. Augustin, Germany, September 1987.
1986
 T. Frühwirth,
Prolog, Logik und Datenbanken (in German),
Master Thesis, Inst. f. Prakt. Informatik, Technical University Vienna, Austria,
May 1986.
 T. Frühwirth and E. Kühn,
VIPDBS: Ein integriertes logikorientiertes Datenbank Management System unter VIPProlog,
Fachtagung Die Zukunft der
Informationssysteme, Linz, Austria, Springer Verlag, September 1986.
1985
 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.
 T. Frühwirth and E. Kühn,
VIPDBS: 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