M.Sc. Daniel Gall

Research Interests

  • Logic Programming and Constraint Programming
  • Rule-based Programming
  • Cognitive Modelling

Teaching

  • Introduction to Computer Science (Einführung in die Informatik) (Winter 18/19)
  • Constraint Programming (regularly from Winter 2013)
  • Rule-based Programming (regularly from Summer 2014)
  • Introduction to Computer Science for Psychologists (Winter 14/15, Winter 17/18)
  • Project Constraint-Programming (regularly from Winter 2013)
  • Project Rule-based and Constraint Programming (regularly from Summer 2014)
  • Proseminar Logic-based Programming Languages (Logikbasierte Programmiersprachen) (regularly from Winter 2013)
  • Seminar Rule-based and Constraint Programming (regularly from Summer 2014)
  • Project Cognitive Modeling (SoSe 17, SoSe 18, WiSe 18/19)
  • Seminar Computational Psychology (SoSe 14)

Publications

Articles

13.
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
DOI: 10.1145/3218818
https://dl.acm.org/citation.cfm?id=3218818&dl=ACM&coll=DL
https://arxiv.org/abs/1702.01606
12.
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
https://arxiv.org/abs/1808.07788

Contribution to Proceedings

11.
Gall , Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) ,
Workshop on Logic and Practice of Programming (LPoP 2018)
Oxford, UK
2018-07-18
July 2018
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
10.
Gall , Daniel ; Frühwirth , Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor , Functional and Logic Programming Band 10818 aus Lecture Notes in Computer Science , Seite 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Herausgeber: Springer
May 2018
DOI: 10.1007/978-3-319-90686-7_8
https://arxiv.org/abs/1802.03381
9.
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) ,
21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
Würzburg
19th to 21st September 2017
September 2017
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/richter_gall_fru_inap_2017.pdf
8.
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 Band 10364 aus Lecture Notes in Computer Science ,
International Joint Conference on Rules and Reasoning (RuleML+RR 2017)
London, UK
July 2017
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Editor
Herausgeber: Springer
July 2017
DOI: 10.1007/978-3-319-61252-2_9
http://arxiv.org/pdf/1705.08392
7.
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 ,
Global Conference on Artificial Intelligence
Berlin
September 2016
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/CGAI_submit.pdf
6.
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
DOI: 10.1007/978-3-319-42019-6_15
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/gall-ruleml2016-final.pdf
5.
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) Band 8981 ,
Herausgeber: Springer LNCS
September 2015
DOI: 10.1007/978-3-319-17822-6_5
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/act-r-semantics-2015.pdf
4.
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
DOI: 10.1145/2790449.2790517
3.
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
2.
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) Band 14(4-5) , Seite 525-538
Herausgeber: Cambridge University Press
July 2014

Thesis

1.
Gall , Daniel
A Rule-Based Implementation of ACT-R Using Constraint Rules
Masterarbeit
Universität Ulm
September 2013

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