7 papers
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report
Thom Frühwirth, Daniel Gall
Constraint Handling Rules (CHR) is a declarative rule-based formalism and language. Concurrency is inherent as rules can be applied to subsets of constraints in parallel. Parallel…
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design
Thom Fruehwirth
We are developing a rule-based implementation of a tool to analyse and generate graphs. It is currently used in the domain of mason's marks. For thousands of years, stonemasons hav…
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Daniel Gall, Thom Frühwirth
Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, conflu…
Visualization of Constraint Handling Rules: Semantics and Applications
Nada Sharaf, Slim Abdennadher, Thom Frühwirth
The work in the paper presents an animation extension () to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug prog…
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Thom Fruehwirth
We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rul…
A Decidable Confluence Test for Cognitive Models in ACT-R
Daniel Gall, Thom Frühwirth
Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a…