Thom W. Frühwirth

133 papers A* 2A 5B 10C 16Misc 4Journal 53Unranked 36
YearRankTypeTitle / Venue / Authors
2025 B conf
A refined operational semantics for FreeCHR.
ICLP
Sascha Rechenberger, Thom W. Frühwirth
2025 J jnl
An instance of FreeCHR with refined operational semantics.
CoRR
Sascha Rechenberger, Thom W. Frühwirth
2025 J jnl
FreeCHR - An Algebraic Framework for Constraint Handling Rules Embeddings.
Theory Pract. Log. Program.
Sascha Rechenberger, Thom W. Frühwirth
2025 J jnl
Optimized Execution of FreeCHR.
CoRR
Sascha Rechenberger, Thom W. Frühwirth
2025 J jnl
Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup.
Fundam. Informaticae
Thom W. Frühwirth
2023 B conf
FreeCHR: An Algebraic Framework for CHR-Embeddings.
RuleML+RR
Sascha Rechenberger, Thom W. Frühwirth
2023 J jnl
FreeCHR: An Algebraic Framework for CHR-Embeddings.
CoRR
Sascha Rechenberger, Thom W. Frühwirth
2023 J jnl
Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup.
CoRR
Thom W. Frühwirth
2020 J jnl
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity.
Fundam. Informaticae
Thom W. Frühwirth
2020 J jnl
Repeated Recursion Unfolding for Super-Linear Speedup within Bounds.
CoRR
Thom W. Frühwirth
2018 J jnl
An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules.
ACM Trans. Comput. Log.
Daniel Gall, Thom W. Frühwirth
2018 B conf
CHR.js: A CHR Implementation in JavaScript.
RuleML+RR
Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel
2018 — conf
CHR^vis: Syntax and Semantics.
ICLP (Technical Communications)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2018 Misc conf
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.
FLOPS
Daniel Gall, Thom W. Frühwirth
2018 J jnl
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.
CoRR
Daniel Gall, Thom W. Frühwirth
2018 J jnl
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report.
CoRR
Thom W. Frühwirth, Daniel Gall
2018 J jnl
Parallelism, concurrency and distribution in constraint handling rules: A survey.
Theory Pract. Log. Program.
Thom W. Frühwirth
2018 B conf
Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design.
RuleML+RR
Thom W. Frühwirth
2018 J jnl
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design.
CoRR
Thom W. Frühwirth
2018 C conf
Rule-Based Visualization of Tableau Calculus for Propositional Logic.
IV
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2017 B conf
A Decidable Confluence Test for Cognitive Models in ACT-R.
RuleML+RR
Daniel Gall, Thom W. Frühwirth
2017 J jnl
A Decidable Confluence Test for Cognitive Models in ACT-R.
CoRR
Daniel Gall, Thom W. Frühwirth
2017 J jnl
A Devil's Advocate against Termination of Direct Recursion.
CoRR
Thom W. Frühwirth
2017 C conf
A Rule-Based Approach for Automatic Interaction Detection and Annotation.
IV
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2017 J jnl
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules.
CoRR
Daniel Gall, Thom W. Frühwirth
2017 C conf
CHR-Graph: A Platform for Animating Tree and Graph Algorithms.
IV
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2017 J jnl
Constraint Handling Rules - What Else?
CoRR
Thom W. Frühwirth
2017 — conf
Implementation of Logical Retraction in Constraint Handling Rules with Justifications.
DECLARE
Thom W. Frühwirth
2017 C conf
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.
LOPSTR
Thom W. Frühwirth
2017 J jnl
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.
CoRR
Thom W. Frühwirth
2017 J jnl
Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft).
CoRR
Thom W. Frühwirth
2017 — conf
Using Rules to Animate Prolog Programs.
RuleML+RR (Supplement)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2017 J jnl
Visualization of Constraint Handling Rules: Semantics and Applications.
CoRR
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2017 J jnl
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.
CoRR
Thom W. Frühwirth
2016 — conf
A Rule Based Approach to teach Mathematics using Animation.
RuleML (Supplement)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2016 C conf
A Rule-Based Approach for Animating Java Algorithms.
IV
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2016 — conf
Animating Cognitive Models and Architectures: A Rule-Based Approach.
GCAI
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall
2016 — conf
Translation of Cognitive Models from ACT-R to Constraint Handling Rules.
RuleML
Daniel Gall, Thom W. Frühwirth
2016 — conf
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.
RuleML
Thom W. Frühwirth
2015 C conf
A devil's advocate against termination of direct recursion.
PPDP
Thom W. Frühwirth
2015 C conf
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations.
PPDP
Daniel Gall, Thom W. Frühwirth
2015 — conf
Combining Forward and Backward Propagation.
FroCos
Amira Zaki, Slim Abdennadher, Thom W. Frühwirth
2015 — conf
Constraint Handling Rules - What Else?
RuleML
Thom W. Frühwirth
2015 C conf
DiagrammaticCHR: A Diagrammatic Representation of CHR Programs.
IV
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2015 — conf
Imperfect Querying through Womb Grammars plus Ontologies.
JOWO@IJCAI
Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth
2014 C conf
A Formal Semantics for the Cognitive Architecture ACT-R.
LOPSTR
Daniel Gall, Thom W. Frühwirth
2014 C conf
CHRAnimation: An Animation Tool for Constraint Handling Rules.
LOPSTR
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2014 J jnl
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R.
CoRR
Daniel Gall, Thom W. Frühwirth
2014 J jnl
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R.
Theory Pract. Log. Program.
Daniel Gall, Thom W. Frühwirth
2014 J jnl
From XML Schema to JSON Schema: Translation with CHR.
CoRR
Falco Nogatz, Thom W. Frühwirth
2014 J jnl
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information.
CoRR
Aya Saad, Thom W. Frühwirth, Carmen Gervet
2014 J jnl
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information.
Theory Pract. Log. Program.
Aya Saad, Thom W. Frühwirth, Carmen Gervet
2014 J jnl
Visualization of Constraint Handling Rules.
CoRR
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
2013 J jnl
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.
ACM Trans. Comput. Log.
Hariolf Betz, Thom W. Frühwirth
2013 J jnl
Probabilistic legal reasoning in CHRiSM.
Theory Pract. Log. Program.
Jon Sneyers, Danny De Schreye, Thom W. Frühwirth
2013 J jnl
Towards Inverse Execution of Constraint Handling Rules.
Theory Pract. Log. Program.
Amira Zaki, Thom W. Frühwirth, Slim Abdennadher
2012 C conf
Compiling CHR to parallel hardware.
PPDP
Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Thom W. Frühwirth
2011 J jnl
Analysing graph transformation systems through constraint handling rules.
Theory Pract. Log. Program.
Frank Raiser, Thom W. Frühwirth
2010 J jnl
A Complete and Terminating Execution Model for Constraint Handling Rules
CoRR
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
2010 J jnl
A complete and terminating execution model for Constraint Handling Rules.
Theory Pract. Log. Program.
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
2010 J jnl
Analyzing Graph Transformation Systems through Constraint Handling Rules
CoRR
Frank Raiser, Thom W. Frühwirth
2010 J jnl
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
CoRR
Hariolf Betz, Thom W. Frühwirth
2009 — conf
Strong Joinability Analysis for Graph Transformation Systems in CHR.
TERMGRAPH@ETAPS
Frank Raiser, Thom W. Frühwirth
2008 — book
Constraint Handling Rules, Current Research Topics
Constraint Handling Rules
Tom Schrijvers, Thom W. Frühwirth
2008 J jnl
Theory of finite or infinite trees revisited.
Theory Pract. Log. Program.
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
2008 — ch.
Welcome to Constraint Handling Rules.
Constraint Handling Rules
Thom W. Frühwirth
2007 — conf
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.
CSCLP
Thom W. Frühwirth
2007 J jnl
Theory of Finite or Infinite Trees Revisited
CoRR
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
2007 Misc conf
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.
SAC
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
2006 — conf
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.
CSCLP
Marc Meister, Khalil Djelloul, Thom W. Frühwirth
2006 C conf
Constraint handling rules: the story so far.
PPDP
Thom W. Frühwirth
2006 — ch.
Constraints in Procedural and Concurrent Languages.
Handbook of Constraint Programming
Thom W. Frühwirth, Laurent Michel, Christian Schulte
2006 J jnl
Optimal union-find in Constraint Handling Rules.
Theory Pract. Log. Program.
Tom Schrijvers, Thom W. Frühwirth
2005 — ed.
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005
W(C)LP
Armin Wolf, Thom W. Frühwirth, Marc Meister
2005 A conf
A Linear-Logic Semantics for Constraint Handling Rules.
CP
Hariolf Betz, Thom W. Frühwirth
2005 — conf
Analysing the CHR Implementation of Union-Find.
W(C)LP
Tom Schrijvers, Thom W. Frühwirth
2005 — conf
Automatic Implication Checking for CHR Constraints.
RULE@RDP
Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
2005 — conf
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.
CSCLP
Thom W. Frühwirth
2005 J jnl
Introduction to the Special Issue on Constraint Handling Rules.
Theory Pract. Log. Program.
Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
2005 J jnl
Optimal Union-Find in Constraint Handling Rules
CoRR
Tom Schrijvers, Thom W. Frühwirth
2005 B conf
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.
ICLP
Thom W. Frühwirth
2004 Misc ed.
KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
KI
Susanne Biundo, Thom W. Frühwirth, Günther Palm
2004 J jnl
Soft Constraint Propagation and Solving in Constraint Handling Rules.
Comput. Intell.
Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi
2004 C conf
Specialization of Concurrent Guarded Multi-set Transformation Rules.
LOPSTR
Thom W. Frühwirth
2004 J jnl
The Munich Rent Advisor: A Success for Logic Programming on the Internet
CoRR
Thom W. Frühwirth, Slim Abdennadher
2003 — book
Essentials of constraint programming.
Thom W. Frühwirth, Slim Abdennadher
2003 C conf
Integration and Optimization of Rule-Based Constraint Solvers.
LOPSTR
Slim Abdennadher, Thom W. Frühwirth
2003 — conf
Source-to-Source Transformation for a Class of Expressive Rules.
APPIA-GULP-PRODE
Thom W. Frühwirth, Christian Holzbaur
2002 A* conf
As Time Goes by: Automatic Complexity Analysis of Simplified Rules.
KR
Thom W. Frühwirth
2002 — conf
Probabilistic Constraint Handling Rules.
WFLP
Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
2002 Misc conf
Soft constraint propagation and solving in CHRs.
SAC
Stefano Bistarelli, Thom W. Frühwirth, Michael Marte
2002 J jnl
Special Issue on Constraint Agents.
Constraints An Int. J.
Peggy S. Eaton, Thom W. Frühwirth, Milind Tambe
2002 — conf
Tutorial: Reasoning with, about and for Constraint Handling Rules.
FroCoS
Thom W. Frühwirth, Slim Abdennadher
2002 — conf
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.
JFPLC
Slim Abdennadher, Thom W. Frühwirth
2001 — conf
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs.
QAPL
Thom W. Frühwirth
2001 — conf
On the number of rule applications in constraint programs.
APPIA-GULP-PRODE
Thom W. Frühwirth
2001 C conf
Spatio-temporal Annotated Constraint Logic Programming.
PADL
Alessandra Raffaetà, Thom W. Frühwirth
2001 J jnl
The Munich Rent Advisor: A Success for Logic Programming on the Internet.
Theory Pract. Log. Program.
Thom W. Frühwirth, Slim Abdennadher
2000 J jnl
A PROLOG Constraint Handling Rules Compiler and Runtime System.
Appl. Artif. Intell.
Christian Holzbaur, Thom W. Frühwirth
2000 — conf
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules.
WLP
Slim Abdennadher, Thom W. Frühwirth
2000 J jnl
Guest Editorial.
Appl. Artif. Intell.
Christian Holzbaur, Thom W. Frühwirth
2000 J jnl
Placing Base Stations in Wireless Indoor Communication Networks.
IEEE Intell. Syst.
Thom W. Frühwirth, Pascal Brisset
2000 — conf
Predicting Derivation Lengths in Rule-based Constraint Programs.
JFPLC
Thom W. Frühwirth
1999 C conf
Compiling Constraint Handling Rules into Prolog with Attributed Variables.
PPDP
Christian Holzbaur, Thom W. Frühwirth
1999 J jnl
Confluence and Semantics of Constraint Simplification Rules.
Constraints An Int. J.
Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
1999 — conf
JACK - Java Constraint Kit.
German-Argentinian Workshop on Information Technology
Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer
1999 A conf
Operational Equivalence of CHR Programs and Constraints.
CP
Slim Abdennadher, Thom W. Frühwirth
1999 — conf
Proving Termination of Constraint Solver Programs.
New Trends in Constraints
Thom W. Frühwirth
1999 B conf
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.
ICLP
Angelo E. M. Ciarlini, Thom W. Frühwirth
1998 A conf
On Completion of Constraint Handling Rules.
CP
Slim Abdennadher, Thom W. Frühwirth
1998 A conf
Optimal Placement of Base Stations in Wireless Indoor Telecommunication.
CP
Thom W. Frühwirth, Pascal Brisset
1998 J jnl
Theory and Practice of Constraint Handling Rules.
J. Log. Program.
Thom W. Frühwirth
1997 — conf
Anwendungen Constraintbasierter Programmierung.
GI Jahrestagung
Thom W. Frühwirth, Slim Abdennadher
1997 — book
Constraint-Programmierung - Grundlagen und Anwendungen.
Thom W. Frühwirth, Slim Abdennadher
1997 J jnl
Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung.
Künstliche Intell.
Thom W. Frühwirth, Slim Abdennadher
1997 B conf
Optimal Planning of Digital Cordless Telecommunication Systems.
PACT
Thom W. Frühwirth, Pascal Brisset
1996 A conf
On Confluence of Constraint Handling Rules.
CP
Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
1996 J jnl
Planning Cordless Business Communication Systems.
IEEE Expert
Thom W. Frühwirth, Pascal Brisset, Jörg-Rainer Molwitz
1996 J jnl
Temporal Annotated Constraint Logic Programming.
J. Symb. Comput.
Thom W. Frühwirth
1994 — conf
Annotated Constraint Logic Programming Applied to Temporal Reasoning.
PLILP
Thom W. Frühwirth
1994 — conf
Constraint Handling Rules
Constraint Programming
Thom W. Frühwirth
1994 — conf
Constraint Handling Rules (Extended Abstract).
WLP
Thom W. Frühwirth
1993 — conf
Temporal Logic and Annotated Constraint Logic Programming.
Executable Modal and Temporal Logics
Thom W. Frühwirth
1993 — conf
Terminological Reasoning with Constraint Handling Rules.
PPCP
Thom W. Frühwirth, Philipp Hanschke
1993 B conf
User-Defined Constraint Handling.
ICLP
Thom W. Frühwirth
1992 — conf
Contraint Logic Programming - An Informal Introduction.
Logic Programming Summer School
Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
1992 — ch.
Polymorphically Typed Logic Programs.
Types in Logic Programming
Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro
1991 J jnl
Book reviews.
Artif. Intell. Rev.
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
1991 A* conf
Logic Programs as Types for Logic Programs
LICS
Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni
1991 B conf
Polymorphically Typed Logic Programs.
ICLP
Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro
1990 — conf
Polymorphic Type Checking with Subtypes in Prolog.
DISCO
Thom W. Frühwirth
1988 — conf
Type Inference by Program Transformation and Partial Evaluation.
META
Thom W. Frühwirth
1988 — conf
Type inference by program transformation and partial evaluation.
ICCL
Thom W. Frühwirth