M.Sc. Daniel Gall

Publications


12.
default
Gall, Daniel; Frühwirth, Thom
An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules
ACM Transactions on Computational Logic (TOCL), 19(3)
September 2018
11.
default
Frühwirth, Thom; Gall, Daniel
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany,
September 2018
10.
pdf
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
July 2018
9.
default
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., editor, Functional and Logic Programming Volume 10818 of Lecture Notes in Computer Science , page 116-131.
Publisher: Springer,
May 2018
8.
pdf
Richter, Frank; Gall, Daniel; Frühwirth, Thom
A Confluence Checker for Constraint Handling Rules with Persistent Constraints
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
September 2017
7.
default
Gall, Daniel; Frühwirth, Thom
A Decidable Confluence Test for Cognitive Models in ACT-R
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, editor, Proceedings of RuleML+RR 2017 Volume 10364 of Lecture Notes in Computer Science
Publisher: Springer,
July 2017
6.
pdf
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom; Gall, Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
September 2016
5.
pdf
Gall, Daniel; Frühwirth, Thom
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016
July 2016
4.
pdf
Gall, Daniel; Frühwirth, Thom
A Formal Semantics for the Cognitive Architecture ACT-R
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014) Volume 8981
Publisher: Springer LNCS,
September 2015
3.
default
Gall, Daniel; Frühwirth, Thom
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
2.
default
Gall, Daniel; Frühwirth, Thom
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen
April 2015
1.
default
Gall, Daniel; Frühwirth, Thom
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014) Volume 14(4-5) , page 525-538.
Publisher: Cambridge University Press,
July 2014

Contact

  • Institute of Software Engineering and Programming Languages
  • Universität Ulm
  • D-89069 Ulm
  •  
  • room: o27-4104
  • phone: +49 (0)731/50-24171
  • fax: +49 (0)731/50-24162
  • e-mail: daniel.gall (at) uni-ulm.de