Institute of Software Engineering and Programming Languages

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
File: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
File: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
File:pdfhttps://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 ProgrammingVolume10818fromLecture Notes in Computer Science, Page 116-131
Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018)
Nagoya, Japan
In Gallagher J., Sulzmann M., Editor
Publisher: Springer
May 2018
DOI:10.1007/978-3-319-90686-7_8
File: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
File:pdfhttps://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 2017Volume10364fromLecture 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
Publisher: Springer
July 2017
DOI:10.1007/978-3-319-61252-2_9
File: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
File:pdfhttp://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
File:pdfhttp://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)Volume8981
Publisher: Springer LNCS
September 2015
DOI:10.1007/978-3-319-17822-6_5
File:pdfhttp://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)Volume14(4-5), Page 525-538
Publisher: 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