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
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
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
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: |  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 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
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
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: | 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 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
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
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: | 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
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: | 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)Volume8981
Publisher: Springer LNCS
September 2015
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: | 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
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
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
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
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