Thom W. Frühwirth

According to our database1, Thom W. Frühwirth authored at least 104 papers between 1988 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules.
ACM Trans. Comput. Log., 2018

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

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

CHR.js: A CHR Implementation in JavaScript.
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.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Rule-Based Visualization of Tableau Calculus for Propositional Logic.
Proceedings of the 22nd International Conference Information Visualisation, 2018

CHR^vis: Syntax and Semantics.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017
Visualization of Constraint Handling Rules: Semantics and Applications.
CoRR, 2017

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

Using Rules to Animate Prolog Programs.
Proceedings of the Doctoral Consortium, 2017

A Decidable Confluence Test for Cognitive Models in ACT-R.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

CHR-Graph: A Platform for Animating Tree and Graph Algorithms.
Proceedings of the 21st International Conference Information Visualisation, 2017

A Rule-Based Approach for Automatic Interaction Detection and Annotation.
Proceedings of the 21st International Conference Information Visualisation, 2017

Implementation of Logical Retraction in Constraint Handling Rules with Justifications.
Proceedings of the Declarative Programming and Knowledge Management, 2017

2016
A Rule Based Approach to teach Mathematics using Animation.
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

Translation of Cognitive Models from ACT-R to Constraint Handling Rules.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

A Rule-Based Approach for Animating Java Algorithms.
Proceedings of the 20th International Conference Information Visualisation, 2016

Animating Cognitive Models and Architectures: A Rule-Based Approach.
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

2015
Constraint Handling Rules - What Else?
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.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

A devil's advocate against termination of direct recursion.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

DiagrammaticCHR: A Diagrammatic Representation of CHR Programs.
Proceedings of the 19th International Conference on Information Visualisation, 2015

Imperfect Querying through Womb Grammars plus Ontologies.
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.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

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

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

Visualization of Constraint Handling Rules.
CoRR, 2014

From XML Schema to JSON Schema: Translation with CHR.
CoRR, 2014

CHRAnimation: An Animation Tool for Constraint Handling Rules.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

A Formal Semantics for the Cognitive Architecture ACT-R.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013
Towards Inverse Execution of Constraint Handling Rules.
TPLP, 2013

Probabilistic legal reasoning in CHRiSM.
TPLP, 2013

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.
ACM Trans. Comput. Log., 2013

2012
Compiling CHR to parallel hardware.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Analysing graph transformation systems through constraint handling rules.
TPLP, 2011

2010
A complete and terminating execution model for Constraint Handling Rules.
TPLP, 2010

Analyzing Graph Transformation Systems through Constraint Handling Rules
CoRR, 2010

2009
Strong Joinability Analysis for Graph Transformation Systems in CHR.
Electr. Notes Theor. Comput. Sci., 2009

2008
Welcome to Constraint Handling Rules.
Proceedings of the Constraint Handling Rules, 2008

Theory of finite or infinite trees revisited.
TPLP, 2008

2007
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.
Proceedings of the Recent Advances in Constraints, 2007

2006
Constraints in Procedural and Concurrent Languages.
Proceedings of the Handbook of Constraint Programming, 2006

Optimal union-find in Constraint Handling Rules.
TPLP, 2006

Automatic Implication Checking for CHR Constraints.
Electr. Notes Theor. Comput. Sci., 2006

Constraint handling rules: the story so far.
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.
Proceedings of the Recent Advances in Constraints, 2006

2005
Introduction to the Special Issue on Constraint Handling Rules.
TPLP, 2005

Analysing the CHR Implementation of Union-Find.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.
Proceedings of the Logic Programming, 21st International Conference, 2005

Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.
Proceedings of the Recent Advances in Constraints, 2005

A Linear-Logic Semantics for Constraint Handling Rules.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Soft Constraint Propagation and Solving in Constraint Handling Rules.
Computational Intelligence, 2004

Specialization of Concurrent Guarded Multi-set Transformation Rules.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003
Integration and Optimization of Rule-Based Constraint Solvers.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Source-to-Source Transformation for a Class of Expressive Rules.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

Essentials of constraint programming.
Cognitive Technologies, Springer, ISBN: 978-3-540-67623-2, 2003

2002
Probabilistic Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci., 2002

Special Issue on Constraint Agents.
Constraints, 2002

Soft constraint propagation and solving in CHRs.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

As Time Goes by: Automatic Complexity Analysis of Simplified Rules.
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.
Proceedings of the Programmation en logique avec contraintes, 2002

Tutorial: Reasoning with, about and for Constraint Handling Rules.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

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

As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs.
Electr. Notes Theor. Comput. Sci., 2001

On the number of rule applications in constraint programs.
Electr. Notes Theor. Comput. Sci., 2001

Spatio-temporal Annotated Constraint Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2001

2000
Placing Base Stations in Wireless Indoor Communication Networks.
IEEE Intelligent Systems, 2000

A PROLOG Constraint Handling Rules Compiler and Runtime System.
Applied Artificial Intelligence, 2000

Guest Editorial.
Applied Artificial Intelligence, 2000

Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules.
Proceedings of the 14. Workshop Logische Programmierung, 2000

Predicting Derivation Lengths in Rule-based Constraint Programs.
Proceedings of the Programmation en logique avec contraintes, 2000

1999
Confluence and Semantics of Constraint Simplification Rules.
Constraints, 1999

Compiling Constraint Handling Rules into Prolog with Attributed Variables.
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.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

JACK - Java Constraint Kit.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

Operational Equivalence of CHR Programs and Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 1999

Proving Termination of Constraint Solver Programs.
Proceedings of the New Trends in Contraints, 1999

1998
Theory and Practice of Constraint Handling Rules.
J. Log. Program., 1998

Optimal Placement of Base Stations in Wireless Indoor Telecommunication.
Proceedings of the Principles and Practice of Constraint Programming, 1998

On Completion of Constraint Handling Rules.
Proceedings of the Principles and Practice of Constraint Programming, 1998

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

Anwendungen Constraintbasierter Programmierung.
Proceedings of the Informatik '97, 1997

Constraint-Programmierung - Grundlagen und Anwendungen.
Springer, ISBN: 978-3-540-60670-3, 1997

1996
Temporal Annotated Constraint Logic Programming.
J. Symb. Comput., 1996

Planning Cordless Business Communication Systems.
IEEE Expert, 1996

On Confluence of Constraint Handling Rules.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

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

Constraint Handling Rules (Extended Abstract).
Proceedings of the Tenth Logic Programming Workshop, 1994

Annotated Constraint Logic Programming Applied to Temporal Reasoning.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993
Terminological Reasoning with Constraint Handling Rules.
Proceedings of the Principles and Practice of Constraint Programming, 1993

Temporal Logic and Annotated Constraint Logic Programming.
Proceedings of the Executable Modal and Temporal Logics, 1993

User-Defined Constraint Handling.
Proceedings of the Logic Programming, 1993

1992
Contraint Logic Programming - An Informal Introduction.
Proceedings of the Logic Programming in Action, 1992

Polymorphically Typed Logic Programs.
Proceedings of the Types in Logic Programming., 1992

1991
Book reviews.
Artif. Intell. Rev., 1991

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

Polymorphically Typed Logic Programs.
Proceedings of the Logic Programming, 1991

1990
Polymorphic Type Checking with Subtypes in Prolog.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988
Type Inference by Program Transformation and Partial Evaluation.
Proceedings of the Meta-Programming in Logic Programming, 1988


  Loading...