A Formal Semantics for the Cognitive Architecture ACT-R

DOI10.1007/978-3-319-17822-6_5zbMath1457.68041OpenAlexW754528170MaRDI QIDQ2949702

Thom Frühwirth, Daniel Gall

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-17822-6_5

zbMATH Keywords

operational semanticscognitive systemsproduction rule systemscomputational psychologyconstraint handling rulesACT-R

Mathematics Subject Classification ID

Cognitive psychology (91E10) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• ACT-R

Cites Work

• Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
• Observable Confluence for Constraint Handling Rules
• Constraint Handling Rules
• Unnamed Item

This page was built for publication: A Formal Semantics for the Cognitive Architecture ACT-R