Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
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…
cs.LO2017
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…
cs.LO2017
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.…