Daniel Gall
From MaRDI portal
Person:1648876
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| 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 |
| Confluence modulo equivalence with invariants in constraint handling rules | 2018-07-09 | Paper |
| A formal semantics for the cognitive architecture ACT-R Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
| Exchanging conflict resolution in an adaptable implementation of ACT-R Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Research outcomes over time
This page was built for person: Daniel Gall
