M.Sc. Daniel Gall

Lehrveranstaltungen

  • Übungen zur Vorlesung Constraint Programmierung (WiSe 13/14, WiSe 14/15, SoSe 16)
  • Übungen zur Vorlesung Regelbasierte Programmierung (SoSe 14, SoSe 15, WiSe 16/17)
  • Übungen zur Vorlesung Introduction to Computer Science for Psychologists (WS 14/15)
  • Projekt Constraint-Programmierung Praxis (WiSe 13/14, WiSe 14/15, SoSe 15)
  • Projekt Regelbasierte und Constraint-Programmierung (SoSe 14, SoSe 16)
  • Proseminar Logikbasierte Programmiersprachen (WiSe 13/14, SoSe 14, WiSe 15/16, SoSe 16, WiSe 16/17)
  • Seminar Regelbasierte und Constraint-Programmierung (SoSe 14, SoSe 15, WiSe 15/16, SoSe 16)
  • Seminar Computational Psychology (SoSe 14)

Publikationen


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 Band 10364 aus Lecture Notes in Computer Science
Herausgeber: Springer,
Juli 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
Juli 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) Band 8981
Herausgeber: 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
Juli 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) Band 14(4-5) , Seite 525-538.
Herausgeber: Cambridge University Press,
Juli 2014

Kontakt

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