Gall, Daniel

1. An Operational Semantics for the Cognitive Architecture ACT-R and its\n Translation to Constraint Handling Rules
   2017/02/06 by Daniel Gall, Gall, Daniel, Thom Frühwirth +1 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies
2. A Decidable Confluence Test for Cognitive Models in ACT-R
   2017/05/23 by Daniel Gall, Gall, Daniel, Thom Frühwirth +1 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Cognitive Science and Mapping #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge