Daniel Gall

According to our database, Daniel Gall authored at least 13 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Analysis of cognitive models in constraint handling rules.

Daniel Gall

PhD thesis, 2021

2018

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules.

Daniel Gall, Thom W. Frühwirth

ACM Trans. Comput. Log., 2018

Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report.

Thom W. Frühwirth, Daniel Gall

CoRR, 2018

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

A Decidable Confluence Test for Cognitive Models in ACT-R.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

GOES-R ABI on-orbit performance.

Paul Griffith, John Van Naarden, Luke Roop, Daniel Gall

Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

2016

Translation of Cognitive Models from ACT-R to Constraint Handling Rules.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Animating Cognitive Models and Architectures: A Rule-Based Approach.

Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

2015

A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations.

Daniel Gall, Thom W. Frühwirth

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R.

Daniel Gall, Thom W. Frühwirth

Theory Pract. Log. Program., 2014

A Formal Semantics for the Cognitive Architecture ACT-R.

Daniel Gall, Thom W. Frühwirth

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2011

EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms.

Adrian Balint, Daniel Diepold, Daniel Gall, Simon Gerber, Gregor Kapler, Robert Retz

Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

2010

Experiment design and administration for computer clusters for SAT-solvers (EDACC).

Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz

J. Satisf. Boolean Model. Comput., 2010