The following pages link to Thom Frühwirth (Q679328):
Displaying 38 items.
- Temporal annotated constraint logic programming (Q679329) (← links)
- Confluence and semantics of constraint simplification rules (Q1300291) (← links)
- Confluence modulo equivalence with invariants in constraint handling rules (Q1648877) (← links)
- Justifications in constraint handling rules for logical retraction in dynamic algorithms (Q1671149) (← links)
- (Q2701742) (← links)
- (Q2701986) (← links)
- (Q2758293) (← links)
- (Q2758301) (← links)
- (Q2863874) (← links)
- The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (Q2931255) (← links)
- Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (Q2931262) (← links)
- Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction (Q2946685) (← links)
- A Formal Semantics for the Cognitive Architecture ACT-R (Q2949702) (← links)
- Combining Forward and Backward Propagation (Q2964470) (← links)
- Analysing graph transformation systems through constraint handling rules (Q3087810) (← links)
- Optimal union-find in Constraint Handling Rules (Q3426204) (← links)
- Theory of finite or infinite trees revisited (Q3514890) (← links)
- A Linear-Logic Semantics for Constraint Handling Rules (Q3524170) (← links)
- (Q3536358) (← links)
- A complete and terminating execution model for Constraint Handling Rules (Q3585170) (← links)
- Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees (Q3608450) (← links)
- Welcome to Constraint Handling Rules (Q3616877) (← links)
- Constraint Handling Rules (Q3639651) (← links)
- Theory and practice of constraint handling rules (Q4245936) (← links)
- The Munich Rent Advisor: A success for logic programming on then Internet (Q4452633) (← links)
- (Q4495104) (← links)
- Parallelism, concurrency and distribution in constraint handling rules: A survey (Q4559827) (← links)
- An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules (Q4691741) (← links)
- (Q4737134) (← links)
- On the Number of Rule Applications in Constraint Programs (Q4923523) (← links)
- Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity (Q5134279) (← links)
- Strong Joinability Analysis for Graph Transformation Systems in CHR (Q5170283) (← links)
- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR (Q5302727) (← links)
- Probabilistic legal reasoning in CHRiSM (Q5398310) (← links)
- Specialization of Concurrent Guarded Multi-set Transformation Rules (Q5458799) (← links)
- Logic Programming (Q5475773) (← links)
- Logic Based Program Synthesis and Transformation (Q5713942) (← links)
- Recent Advances in Constraints (Q5899106) (← links)
