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


11.
pdf
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
Juli 2018
10.
default
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),
Mai 2018
akzeptiert
9.
default
Gall, Daniel; Frühwirth, Thom
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
In Gallagher J., Sulzmann M., Editor, Functional and Logic Programming Band 10818 aus Lecture Notes in Computer Science , Seite 116-131.
Herausgeber: Springer,
Mai 2018
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