M.Sc. Daniel Gall

Forschungsinteressen

  • Logische und Constraint-Programmierung
  • Regelbasierte Programmierung
  • Kognitive Modellierung

Lehrveranstaltungen

  • Übungen zur Vorlesung Einführung in die Informatik (WiSe 18/19)
  • Übungen zur Vorlesung Constraint Programmierung (WiSe 13/14, WiSe 14/15, SoSe 16, SoSe 17, SoSe 19)
  • Übungen zur Vorlesung Regelbasierte Programmierung (SoSe 14, SoSe 15, WiSe 16/17, WiSe 17/18, Wise 19/20)
  • Übungen zur Vorlesung Introduction to Computer Science for Psychologists (WiSe 14/15, WiSe 17/18)
  • Projekt Constraint-Programmierung Praxis (WiSe 13/14, WiSe 14/15, SoSe 15)
  • Projekt Regelbasierte und Constraint-Programmierung (SoSe 14, SoSe 16, WiSe 16/17, SoSe 17, WiSe 17/18, SoSe 18, SoSe 19, WiSe 19/20)
  • Proseminar Logikbasierte Programmiersprachen (WiSe 13/14, SoSe 14, WiSe 15/16, SoSe 16, WiSe 16/17, SoSe 17, SoSe18)
  • Seminar Regelbasierte und Constraint-Programmierung (SoSe 14, SoSe 15, WiSe 15/16, SoSe 16, SoSe 17, WiSe 17/18, SoSe 18, SoSe 19, WiSe 19/20)
  • Project Cognitive Modeling (SoSe 17, SoSe 18, WiSe 18/19)
  • Seminar Computational Psychology (SoSe 14)

Publikationen

Artikel

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
Datei: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
Datei:https://arxiv.org/abs/1808.07788

Beiträge zu Verhandlungen

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
Juli 2018
Datei: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 ProgrammingBand10818ausLecture 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
Mai 2018
DOI:10.1007/978-3-319-90686-7_8
Datei: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
Datei: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 2017Band10364ausLecture 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
Juli 2017
DOI:10.1007/978-3-319-61252-2_9
Datei: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
Datei: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
Juli 2016
DOI:10.1007/978-3-319-42019-6_15
Datei: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)Band8981
Herausgeber: Springer LNCS
September 2015
DOI:10.1007/978-3-319-17822-6_5
Datei: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
Juli 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)Band14(4-5), Seite 525-538
Herausgeber: Cambridge University Press
Juli 2014

Thesis

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

Kontakt

  • Institut für Softwaretechnik und Programmiersprachen
  • Universität Ulm
  • D-89069 Ulm
  •  
  • Raum: o27-4104
  • Telefon: +49 (0)731/50-24171
  • E-Mail: daniel.gall (at) uni-ulm.de