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


9.
default
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
accepted for presentation at the Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018) in Nagoya, Japan
Mai 2018
akzeptiert
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