| Publication | Date of Publication | Type |
|---|
Justifications in constraint handling rules for logical retraction in dynamic algorithms: theory, implementations, and complexity
Fundamenta Informaticae | 2020-11-16 | Paper |
Parallelism, concurrency and distribution in constraint handling rules: a survey
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
Justifications in constraint handling rules for logical retraction in dynamic algorithms
(available as arXiv preprint) | 2018-09-06 | Paper |
Confluence modulo equivalence with invariants in constraint handling rules
(available as arXiv preprint) | 2018-07-09 | Paper |
Combining forward and backward propagation
Frontiers of Combining Systems | 2017-02-27 | Paper |
A formal semantics for the cognitive architecture ACT-R
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Linear-logic based analysis of Constraint Handling Rules with disjunction
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Exchanging conflict resolution in an adaptable implementation of ACT-R
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
The p-box cdf-intervals: a reliable constraint reasoning with quantifiable information
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Probabilistic legal reasoning in CHRiSM
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Automatic implication checking for CHR constraints | 2013-12-04 | Paper |
On the number of rule applications in constraint programs
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming | 2011-08-17 | Paper |
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
| Constraint Handling Rules | 2009-10-26 | Paper |
Welcome to Constraint Handling Rules
Constraint Handling Rules | 2009-03-26 | Paper |
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
Lecture Notes in Computer Science | 2009-03-05 | Paper |
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Lecture Notes in Computer Science | 2009-01-13 | Paper |
| Principles of constraint systems and constraint solvers | 2008-11-21 | Paper |
A Linear-Logic Semantics for Constraint Handling Rules
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming | 2008-07-23 | Paper |
Specialization of Concurrent Guarded Multi-set Transformation Rules
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming | 2007-03-08 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 2086600 (Why is no real title available?) | 2004-08-11 | Paper |
The Munich Rent Advisor: A success for logic programming on then Internet
Theory and Practice of Logic Programming | 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 |
scientific article; zbMATH DE number 1566503 (Why is no real title available?)
Cognitive Technologies | 2001-02-19 | Paper |
| scientific article; zbMATH DE number 1487975 (Why is no real title available?) | 2001-01-04 | Paper |
Theory and practice of constraint handling rules
The Journal of Logic Programming | 1999-09-23 | Paper |
Confluence and semantics of constraint simplification rules
Constraints | 1999-09-07 | Paper |
Temporal annotated constraint logic programming
Journal of Symbolic Computation | 1997-08-07 | Paper |
