Thom W. Frühwirth

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 40

Top Venues

CoRR

Theory Pract. Log. Program.

RuleML+RR

Publications

Sascha Rechenberger, Thom W. Frühwirth
FreeCHR: An Algebraic Framework for CHR-Embeddings. RuleML+RR (2023)
Sascha Rechenberger, Thom W. Frühwirth
FreeCHR: An Algebraic Framework for CHR-Embeddings. CoRR (2023)
Thom W. Frühwirth
Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup. CoRR (2023)
Thom W. Frühwirth
Repeated Recursion Unfolding for Super-Linear Speedup within Bounds. CoRR (2020)
Thom W. Frühwirth
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity. Fundam. Informaticae 173 (4) (2020)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
CHR^vis: Syntax and Semantics. ICLP (Technical Communications) (2018)
Daniel Gall, Thom W. Frühwirth
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. CoRR (2018)
Thom W. Frühwirth
Parallelism, concurrency and distribution in constraint handling rules: A survey. Theory Pract. Log. Program. 18 (5-6) (2018)
Thom W. Frühwirth
Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design. RuleML+RR (2018)
Thom W. Frühwirth, Daniel Gall
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report. CoRR (2018)
Daniel Gall, Thom W. Frühwirth
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. FLOPS (2018)
Daniel Gall, Thom W. Frühwirth
An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. ACM Trans. Comput. Log. 19 (3) (2018)
Thom W. Frühwirth
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design. CoRR (2018)
Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel
CHR.js: A CHR Implementation in JavaScript. RuleML+RR (2018)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
Rule-Based Visualization of Tableau Calculus for Propositional Logic. IV (2018)
Thom W. Frühwirth
Constraint Handling Rules - What Else? CoRR (2017)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
Visualization of Constraint Handling Rules: Semantics and Applications. CoRR (2017)
Thom W. Frühwirth
A Devil's Advocate against Termination of Direct Recursion. CoRR (2017)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
CHR-Graph: A Platform for Animating Tree and Graph Algorithms. IV (2017)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
A Rule-Based Approach for Automatic Interaction Detection and Annotation. IV (2017)
Thom W. Frühwirth
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. LOPSTR (2017)
Thom W. Frühwirth
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. CoRR (2017)
Daniel Gall, Thom W. Frühwirth
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules. CoRR (2017)
Daniel Gall, Thom W. Frühwirth
A Decidable Confluence Test for Cognitive Models in ACT-R. RuleML+RR (2017)
Thom W. Frühwirth
Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft). CoRR (2017)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
Using Rules to Animate Prolog Programs. RuleML+RR (Supplement) (2017)
Thom W. Frühwirth
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. CoRR (2017)
Thom W. Frühwirth
Implementation of Logical Retraction in Constraint Handling Rules with Justifications. DECLARE (2017)
Daniel Gall, Thom W. Frühwirth
A Decidable Confluence Test for Cognitive Models in ACT-R. CoRR (2017)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
A Rule-Based Approach for Animating Java Algorithms. IV (2016)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
A Rule Based Approach to teach Mathematics using Animation. RuleML (Supplement) (2016)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall
Animating Cognitive Models and Architectures: A Rule-Based Approach. GCAI (2016)
Thom W. Frühwirth
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. RuleML (2016)
Daniel Gall, Thom W. Frühwirth
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. RuleML (2016)
Daniel Gall, Thom W. Frühwirth
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. PPDP (2015)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. IV (2015)
Amira Zaki, Slim Abdennadher, Thom W. Frühwirth
Combining Forward and Backward Propagation. FroCos (2015)
Thom W. Frühwirth
A devil's advocate against termination of direct recursion. PPDP (2015)
Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth
Imperfect Querying through Womb Grammars plus Ontologies. JOWO@IJCAI (2015)
Thom W. Frühwirth
Constraint Handling Rules - What Else? RuleML (2015)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
CHRAnimation: An Animation Tool for Constraint Handling Rules. LOPSTR (2014)
Aya Saad, Thom W. Frühwirth, Carmen Gervet
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. Theory Pract. Log. Program. 14 (4-5) (2014)
Daniel Gall, Thom W. Frühwirth
A Formal Semantics for the Cognitive Architecture ACT-R. LOPSTR (2014)
Daniel Gall, Thom W. Frühwirth
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Theory Pract. Log. Program. 14 (4-5) (2014)
Daniel Gall, Thom W. Frühwirth
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. CoRR (2014)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth
Visualization of Constraint Handling Rules. CoRR (2014)
Aya Saad, Thom W. Frühwirth, Carmen Gervet
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. CoRR (2014)
Falco Nogatz, Thom W. Frühwirth
From XML Schema to JSON Schema: Translation with CHR. CoRR (2014)
Hariolf Betz, Thom W. Frühwirth
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction. ACM Trans. Comput. Log. 14 (1) (2013)
Jon Sneyers, Danny De Schreye, Thom W. Frühwirth
Probabilistic legal reasoning in CHRiSM. Theory Pract. Log. Program. 13 (4-5) (2013)
Amira Zaki, Thom W. Frühwirth, Slim Abdennadher
Towards Inverse Execution of Constraint Handling Rules. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Thom W. Frühwirth
Compiling CHR to parallel hardware. PPDP (2012)
Frank Raiser, Thom W. Frühwirth
Analysing graph transformation systems through constraint handling rules. Theory Pract. Log. Program. 11 (1) (2011)
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
A complete and terminating execution model for Constraint Handling Rules. Theory Pract. Log. Program. 10 (4-6) (2010)
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
A Complete and Terminating Execution Model for Constraint Handling Rules CoRR (2010)
Frank Raiser, Thom W. Frühwirth
Analyzing Graph Transformation Systems through Constraint Handling Rules CoRR (2010)
Hariolf Betz, Thom W. Frühwirth
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction CoRR (2010)
Frank Raiser, Thom W. Frühwirth
Strong Joinability Analysis for Graph Transformation Systems in CHR. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
Theory of finite or infinite trees revisited. Theory Pract. Log. Program. 8 (4) (2008)
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. SAC (2007)
Thom W. Frühwirth
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. CSCLP (2007)
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
Theory of Finite or Infinite Trees Revisited CoRR (2007)
Marc Meister, Khalil Djelloul, Thom W. Frühwirth
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. CSCLP (2006)
Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
Automatic Implication Checking for CHR Constraints. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Tom Schrijvers, Thom W. Frühwirth
Optimal union-find in Constraint Handling Rules. Theory Pract. Log. Program. 6 (1-2) (2006)
Thom W. Frühwirth
Constraint handling rules: the story so far. PPDP (2006)
Thom W. Frühwirth
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. CSCLP (2005)
Thom W. Frühwirth
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. ICLP (2005)
Tom Schrijvers, Thom W. Frühwirth
Analysing the CHR Implementation of Union-Find. W(C)LP (2005)
Tom Schrijvers, Thom W. Frühwirth
Optimal Union-Find in Constraint Handling Rules CoRR (2005)
Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur
Introduction to the Special Issue on Constraint Handling Rules. Theory Pract. Log. Program. 5 (4-5) (2005)
Hariolf Betz, Thom W. Frühwirth
A Linear-Logic Semantics for Constraint Handling Rules. CP (2005)
Thom W. Frühwirth, Slim Abdennadher
The Munich Rent Advisor: A Success for Logic Programming on the Internet CoRR (2004)
Thom W. Frühwirth
Specialization of Concurrent Guarded Multi-set Transformation Rules. LOPSTR (2004)
Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi
Soft Constraint Propagation and Solving in Constraint Handling Rules. Comput. Intell. 20 (2) (2004)
Thom W. Frühwirth, Christian Holzbaur
Source-to-Source Transformation for a Class of Expressive Rules. APPIA-GULP-PRODE (2003)
Slim Abdennadher, Thom W. Frühwirth
Integration and Optimization of Rule-Based Constraint Solvers. LOPSTR (2003)
Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Constraint Handling Rules. Electron. Notes Theor. Comput. Sci. 76 (2002)
Peggy S. Eaton, Thom W. Frühwirth, Milind Tambe
Special Issue on Constraint Agents. Constraints An Int. J. 7 (1) (2002)
Thom W. Frühwirth, Slim Abdennadher
Tutorial: Reasoning with, about and for Constraint Handling Rules. FroCoS (2002)
Stefano Bistarelli, Thom W. Frühwirth, Michael Marte
Soft constraint propagation and solving in CHRs. SAC (2002)
Thom W. Frühwirth
As Time Goes by: Automatic Complexity Analysis of Simplified Rules. KR (2002)
Slim Abdennadher, Thom W. Frühwirth
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. JFPLC (2002)
Thom W. Frühwirth
On the number of rule applications in constraint programs. APPIA-GULP-PRODE 48 (2001)
Thom W. Frühwirth
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Alessandra Raffaetà, Thom W. Frühwirth
Spatio-temporal Annotated Constraint Logic Programming. PADL (2001)
Thom W. Frühwirth, Slim Abdennadher
The Munich Rent Advisor: A Success for Logic Programming on the Internet. Theory Pract. Log. Program. 1 (3) (2001)
Thom W. Frühwirth
Predicting Derivation Lengths in Rule-based Constraint Programs. JFPLC (2000)
Thom W. Frühwirth, Pascal Brisset
Placing Base Stations in Wireless Indoor Communication Networks. IEEE Intell. Syst. 15 (1) (2000)
Slim Abdennadher, Thom W. Frühwirth
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. WLP (2000)
Christian Holzbaur, Thom W. Frühwirth
A PROLOG Constraint Handling Rules Compiler and Runtime System. Appl. Artif. Intell. 14 (4) (2000)
Christian Holzbaur, Thom W. Frühwirth
Guest Editorial. Appl. Artif. Intell. 14 (4) (2000)
Angelo E. M. Ciarlini, Thom W. Frühwirth
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. ICLP (1999)
Thom W. Frühwirth
Proving Termination of Constraint Solver Programs. New Trends in Constraints (1999)
Luis Mandel, Marcelo Campo, Analía Amandi, Thom W. Frühwirth, Bernd Meyer, Slim Abdennadher, Bernhard Bauer
JACK - Java Constraint Kit. German-Argentinian Workshop on Information Technology (1999)
Christian Holzbaur, Thom W. Frühwirth
Compiling Constraint Handling Rules into Prolog with Attributed Variables. PPDP (1999)
Slim Abdennadher, Thom W. Frühwirth
Operational Equivalence of CHR Programs and Constraints. CP (1999)
Slim Abdennadher, Thom W. Frühwirth, Holger Meuss
Confluence and Semantics of Constraint Simplification Rules. Constraints An Int. J. 4 (2) (1999)
Thom W. Frühwirth
Theory and Practice of Constraint Handling Rules. J. Log. Program. 37 (1-3) (1998)
Slim Abdennadher, Thom W. Frühwirth
On Completion of Constraint Handling Rules. CP (1998)

Thom W. Frühwirth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thom W. Frühwirth