5 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…
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…
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…
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules
Daniel Gall, Thom Frühwirth
Computational psychology has the aim to explain human cognition by computational models of cognitive processes. The cognitive architecture ACT-R is popular to develop such models.…
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
Daniel Gall, Thom Frühwirth
In computational cognitive science, the cognitive architecture ACT-R is very popular. It describes a model of cognition that is amenable to computer implementation, paving the way…