Thom Frühwirth

Available identifiers

zbMath Open fruhwirth.thomMaRDI QIDQ679328

List of research outcomes

Publication	Date of Publication	Type
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity	2020-11-16	Paper
Parallelism, concurrency and distribution in constraint handling rules: A survey	2018-12-04	Paper
An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules	2018-10-24	Paper
Justifications in constraint handling rules for logical retraction in dynamic algorithms	2018-09-06	Paper
Confluence modulo equivalence with invariants in constraint handling rules	2018-07-09	Paper
Combining Forward and Backward Propagation	2017-02-27	Paper
A Formal Semantics for the Cognitive Architecture ACT-R	2015-10-02	Paper
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction	2015-09-17	Paper
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R	2014-11-25	Paper
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information	2014-11-25	Paper
Strong Joinability Analysis for Graph Transformation Systems in CHR	2014-07-23	Paper
Probabilistic legal reasoning in CHRiSM	2014-02-27	Paper
Automatic implication checking for CHR constraints	2013-12-04	Paper
On the Number of Rule Applications in Constraint Programs	2013-05-24	Paper
Analysing graph transformation systems through constraint handling rules	2011-08-17	Paper
A complete and terminating execution model for Constraint Handling Rules	2010-08-19	Paper
Constraint Handling Rules	2009-10-26	Paper
Welcome to Constraint Handling Rules	2009-03-26	Paper
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees	2009-03-05	Paper
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR	2009-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3536358	2008-11-21	Paper
A Linear-Logic Semantics for Constraint Handling Rules	2008-09-09	Paper
Theory of finite or infinite trees revisited	2008-07-23	Paper
Specialization of Concurrent Guarded Multi-set Transformation Rules	2008-04-24	Paper
Recent Advances in Constraints	2007-05-02	Paper
Optimal union-find in Constraint Handling Rules	2007-03-08	Paper
Logic Programming	2006-06-27	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q4737134	2004-08-11	Paper
The Munich Rent Advisor: A success for logic programming on then Internet	2004-03-01	Paper
Constraint solving with constraint handling rules	2001-12-06	Paper
Two semantics for temporal annotated constraint logic programming	2001-12-06	Paper
Semantics for temporal annotated constraint logic programming	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q2701742	2001-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4495104	2001-01-04	Paper
Theory and practice of constraint handling rules	1999-09-23	Paper
Confluence and semantics of constraint simplification rules	1999-09-07	Paper
Temporal annotated constraint logic programming	1997-08-07	Paper

Research outcomes over time

This page was built for person: Thom Frühwirth