Thom W. Frühwirth

According to our database, Thom W. Frühwirth authored at least 109 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup.

Thom W. Frühwirth

CoRR, 2023

FreeCHR: An Algebraic Framework for CHR-Embeddings.

Sascha Rechenberger, Thom W. Frühwirth

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

2020

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity.

Thom W. Frühwirth

Fundam. Informaticae, 2020

Repeated Recursion Unfolding for Super-Linear Speedup within Bounds.

Thom W. Frühwirth

CoRR, 2020

2018

Parallelism, concurrency and distribution in constraint handling rules: A survey.

Thom W. Frühwirth

Theory Pract. Log. Program., 2018

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules.

Daniel Gall, Thom W. Frühwirth

ACM Trans. Comput. Log., 2018

Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report.

Thom W. Frühwirth, Daniel Gall

CoRR, 2018

Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design.

Thom W. Frühwirth

CoRR, 2018

CHR.js: A CHR Implementation in JavaScript.

Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design.

Thom W. Frühwirth

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Rule-Based Visualization of Tableau Calculus for Propositional Logic.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the 22nd International Conference Information Visualisation, 2018

CHR^vis: Syntax and Semantics.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Visualization of Constraint Handling Rules: Semantics and Applications.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

CoRR, 2017

Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft).

Thom W. Frühwirth

CoRR, 2017

Using Rules to Animate Prolog Programs.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Doctoral Consortium, 2017

A Decidable Confluence Test for Cognitive Models in ACT-R.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.

Thom W. Frühwirth

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

CHR-Graph: A Platform for Animating Tree and Graph Algorithms.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the 21st International Conference Information Visualisation, 2017

A Rule-Based Approach for Automatic Interaction Detection and Annotation.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the 21st International Conference Information Visualisation, 2017

Implementation of Logical Retraction in Constraint Handling Rules with Justifications.

Thom W. Frühwirth

Proceedings of the Declarative Programming and Knowledge Management, 2017

2016

A Rule Based Approach to teach Mathematics using Animation.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

Translation of Cognitive Models from ACT-R to Constraint Handling Rules.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.

Thom W. Frühwirth

Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

A Rule-Based Approach for Animating Java Algorithms.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the 20th International Conference Information Visualisation, 2016

Animating Cognitive Models and Architectures: A Rule-Based Approach.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

2015

Constraint Handling Rules - What Else?

Thom W. Frühwirth

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations.

Daniel Gall, Thom W. Frühwirth

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

A devil's advocate against termination of direct recursion.

Thom W. Frühwirth

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

DiagrammaticCHR: A Diagrammatic Representation of CHR Programs.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the 19th International Conference on Information Visualisation, 2015

Imperfect Querying through Womb Grammars plus Ontologies.

Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Combining Forward and Backward Propagation.

Amira Zaki, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information.

Aya Saad, Thom W. Frühwirth, Carmen Gervet

Theory Pract. Log. Program., 2014

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R.

Daniel Gall, Thom W. Frühwirth

Theory Pract. Log. Program., 2014

Visualization of Constraint Handling Rules.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

CoRR, 2014

From XML Schema to JSON Schema: Translation with CHR.

Falco Nogatz, Thom W. Frühwirth

CoRR, 2014

CHRAnimation: An Animation Tool for Constraint Handling Rules.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

A Formal Semantics for the Cognitive Architecture ACT-R.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013

Towards Inverse Execution of Constraint Handling Rules.

Amira Zaki, Thom W. Frühwirth, Slim Abdennadher

Theory Pract. Log. Program., 2013

Probabilistic legal reasoning in CHRiSM.

Jon Sneyers, Danny De Schreye, Thom W. Frühwirth

Theory Pract. Log. Program., 2013

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.

Hariolf Betz, Thom W. Frühwirth

ACM Trans. Comput. Log., 2013

2012

Compiling CHR to parallel hardware.

Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Thom W. Frühwirth

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Analysing graph transformation systems through constraint handling rules.

Frank Raiser, Thom W. Frühwirth

Theory Pract. Log. Program., 2011

2010

A complete and terminating execution model for Constraint Handling Rules.

Hariolf Betz, Frank Raiser, Thom W. Frühwirth

Theory Pract. Log. Program., 2010

Analyzing Graph Transformation Systems through Constraint Handling Rules

Frank Raiser, Thom W. Frühwirth

CoRR, 2010

2009

Strong Joinability Analysis for Graph Transformation Systems in CHR.

Frank Raiser, Thom W. Frühwirth

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

2008

Welcome to Constraint Handling Rules.

Thom W. Frühwirth

Proceedings of the Constraint Handling Rules, 2008

Theory of finite or infinite trees revisited.

Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth

Theory Pract. Log. Program., 2008

2007

Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.

Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.

Thom W. Frühwirth

Proceedings of the Recent Advances in Constraints, 2007

2006

Constraints in Procedural and Concurrent Languages.

Thom W. Frühwirth, Laurent Michel, Christian Schulte

Proceedings of the Handbook of Constraint Programming, 2006

Optimal union-find in Constraint Handling Rules.

Tom Schrijvers, Thom W. Frühwirth

Theory Pract. Log. Program., 2006

Constraint handling rules: the story so far.

Thom W. Frühwirth

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.

Marc Meister, Khalil Djelloul, Thom W. Frühwirth

Proceedings of the Recent Advances in Constraints, 2006

2005

Introduction to the Special Issue on Constraint Handling Rules.

Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur

Theory Pract. Log. Program., 2005

Automatic Implication Checking for CHR Constraints.

Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Analysing the CHR Implementation of Union-Find.

Tom Schrijvers, Thom W. Frühwirth

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.

Thom W. Frühwirth

Proceedings of the Logic Programming, 21st International Conference, 2005

Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.

Thom W. Frühwirth

Proceedings of the Recent Advances in Constraints, 2005

A Linear-Logic Semantics for Constraint Handling Rules.

Hariolf Betz, Thom W. Frühwirth

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Soft Constraint Propagation and Solving in Constraint Handling Rules.

Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi

Comput. Intell., 2004

Specialization of Concurrent Guarded Multi-set Transformation Rules.

Thom W. Frühwirth

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003

Integration and Optimization of Rule-Based Constraint Solvers.

Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Source-to-Source Transformation for a Class of Expressive Rules.

Thom W. Frühwirth, Christian Holzbaur

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

Essentials of constraint programming.

Thom W. Frühwirth, Slim Abdennadher

Cognitive Technologies, Springer, ISBN: 978-3-540-67623-2, 2003

2002

Probabilistic Constraint Handling Rules.

Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Special Issue on Constraint Agents.

Peggy S. Eaton, Thom W. Frühwirth, Milind Tambe

Constraints An Int. J., 2002

Soft constraint propagation and solving in CHRs.

Stefano Bistarelli, Thom W. Frühwirth, Michael Marte

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

As Time Goes by: Automatic Complexity Analysis of Simplified Rules.

Thom W. Frühwirth

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.

Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Programmation en logique avec contraintes, 2002

Tutorial: Reasoning with, about and for Constraint Handling Rules.

Thom W. Frühwirth, Slim Abdennadher

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001

The Munich Rent Advisor: A Success for Logic Programming on the Internet.

Thom W. Frühwirth, Slim Abdennadher

Theory Pract. Log. Program., 2001

As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs.

Thom W. Frühwirth

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

On the number of rule applications in constraint programs.

Thom W. Frühwirth

Proceedings of the Declarative Programming, 2001

Spatio-temporal Annotated Constraint Logic Programming.

Alessandra Raffaetà, Thom W. Frühwirth

Proceedings of the Practical Aspects of Declarative Languages, 2001

2000

Placing Base Stations in Wireless Indoor Communication Networks.

Thom W. Frühwirth, Pascal Brisset

IEEE Intell. Syst., 2000

A PROLOG Constraint Handling Rules Compiler and Runtime System.

Christian Holzbaur, Thom W. Frühwirth

Appl. Artif. Intell., 2000

Guest Editorial.

Christian Holzbaur, Thom W. Frühwirth

Appl. Artif. Intell., 2000

Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules.

Slim Abdennadher, Thom W. Frühwirth

Proceedings of the 14. Workshop Logische Programmierung, 2000

Predicting Derivation Lengths in Rule-based Constraint Programs.

Thom W. Frühwirth

Proceedings of the Programmation en logique avec contraintes, 2000

1999

Confluence and Semantics of Constraint Simplification Rules.

Slim Abdennadher, Thom W. Frühwirth, Holger Meuss

Constraints An Int. J., 1999

Compiling Constraint Handling Rules into Prolog with Attributed Variables.

Christian Holzbaur, Thom W. Frühwirth

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.

Angelo E. M. Ciarlini, Thom W. Frühwirth

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

JACK - Java Constraint Kit.

Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

Operational Equivalence of CHR Programs and Constraints.

Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Principles and Practice of Constraint Programming, 1999

Proving Termination of Constraint Solver Programs.

Thom W. Frühwirth

Proceedings of the New Trends in Contraints, 1999

1998

Theory and Practice of Constraint Handling Rules.

Thom W. Frühwirth

J. Log. Program., 1998

Optimal Placement of Base Stations in Wireless Indoor Telecommunication.

Thom W. Frühwirth, Pascal Brisset

Proceedings of the Principles and Practice of Constraint Programming, 1998

On Completion of Constraint Handling Rules.

Slim Abdennadher, Thom W. Frühwirth

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung.

Thom W. Frühwirth, Slim Abdennadher

Künstliche Intell., 1997

Optimal Planning of Digital Cordless Telecommunication Systems.

Thom W. Frühwirth, Pascal Brisset

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

Anwendungen Constraintbasierter Programmierung.

Thom W. Frühwirth, Slim Abdennadher

Proceedings of the Informatik '97, 1997

Constraint-Programmierung - Grundlagen und Anwendungen.

Thom W. Frühwirth, Slim Abdennadher

Springer, ISBN: 978-3-540-60670-3, 1997

1996

Temporal Annotated Constraint Logic Programming.

Thom W. Frühwirth

J. Symb. Comput., 1996

Planning Cordless Business Communication Systems.

Thom W. Frühwirth, Pascal Brisset, Jörg-Rainer Molwitz

IEEE Expert, 1996

On Confluence of Constraint Handling Rules.

Slim Abdennadher, Thom W. Frühwirth, Holger Meuss

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1994

Constraint Handling Rules

Thom W. Frühwirth

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Constraint Handling Rules (Extended Abstract).

Thom W. Frühwirth

Proceedings of the Tenth Logic Programming Workshop, 1994

Annotated Constraint Logic Programming Applied to Temporal Reasoning.

Thom W. Frühwirth

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993

Terminological Reasoning with Constraint Handling Rules.

Thom W. Frühwirth, Philipp Hanschke

Proceedings of the Principles and Practice of Constraint Programming, 1993

Temporal Logic and Annotated Constraint Logic Programming.

Thom W. Frühwirth

Proceedings of the Executable Modal and Temporal Logics, 1993

User-Defined Constraint Handling.

Thom W. Frühwirth

Proceedings of the Logic Programming, 1993

1992

Contraint Logic Programming - An Informal Introduction.

Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace

Proceedings of the Logic Programming in Action, 1992

Polymorphically Typed Logic Programs.

Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro

Proceedings of the Types in Logic Programming., 1992

1991

Book reviews.

Thom W. Frühwirth, Terry Dartnall, Charles G. Button, Richard Shillcock, Tony Kalus, Carl M. Kadie, Michael B. Twidale, Andrew Eliasz, Gordon D. A. Brown

Artif. Intell. Rev., 1991

Logic Programs as Types for Logic Programs

Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Polymorphically Typed Logic Programs.

Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro

Proceedings of the Logic Programming, 1991

1990

Polymorphic Type Checking with Subtypes in Prolog.

Thom W. Frühwirth

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988

Type Inference by Program Transformation and Partial Evaluation.

Thom W. Frühwirth

Proceedings of the Meta-Programming in Logic Programming, 1988