Daniel Gall

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 11

Top Topics

Constraint Handling Rules

Cognitive Model

Episodic Memory

Cognitive Architecture

Top Venues

ACM Trans. Comput. Log.

Publications

Daniel Gall, Thom W. Frühwirth
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. CoRR (2018)
Thom W. Frühwirth, Daniel Gall
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report. CoRR (2018)
Daniel Gall, Thom W. Frühwirth
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. FLOPS (2018)
Daniel Gall, Thom W. Frühwirth
An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. ACM Trans. Comput. Log. 19 (3) (2018)
Paul Griffith, John Van Naarden, Luke Roop, Daniel Gall
GOES-R ABI on-orbit performance. IGARSS (2017)
Daniel Gall, Thom W. Frühwirth
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules. CoRR (2017)
Daniel Gall, Thom W. Frühwirth
A Decidable Confluence Test for Cognitive Models in ACT-R. RuleML+RR (2017)
Daniel Gall, Thom W. Frühwirth
A Decidable Confluence Test for Cognitive Models in ACT-R. CoRR (2017)
Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall
Animating Cognitive Models and Architectures: A Rule-Based Approach. GCAI (2016)
Daniel Gall, Thom W. Frühwirth
Translation of Cognitive Models from ACT-R to Constraint Handling Rules. RuleML (2016)
Daniel Gall, Thom W. Frühwirth
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. PPDP (2015)
Daniel Gall, Thom W. Frühwirth
A Formal Semantics for the Cognitive Architecture ACT-R. LOPSTR (2014)
Daniel Gall, Thom W. Frühwirth
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Theory Pract. Log. Program. 14 (4-5) (2014)
Daniel Gall, Thom W. Frühwirth
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. CoRR (2014)
Adrian Balint, Daniel Diepold, Daniel Gall, Simon Gerber, Gregor Kapler, Robert Retz
EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms. LION (2011)
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz
Experiment design and administration for computer clusters for SAT-solvers (EDACC). J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)