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
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information	2014-11-25	Paper
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R	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
https://portal.mardi4nfdi.de/entity/Q2863874	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
https://portal.mardi4nfdi.de/entity/Q2758293	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2758301	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2701986	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thom Frühwirth