1 × Italy
1 × United Kingdom
act (4) semant (2) formal (2) architectur (1) implement (1) investig (1) conflict (1) resolut (1) exchang (1) between (1)
Person: Daniel Gall
Wrote 3 papers:
- PPDP-2015-GallF #formal method #semantics
- A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations (DG, TWF), pp. 114–124.
- ICLP-J-2014-GallF #adaptation #implementation
- Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.
- LOPSTR-2014-GallF #architecture #semantics
- A Formal Semantics for the Cognitive Architecture ACT-R (DG, TWF), pp. 74–91.