Thom Frühwirth

1. Theory and practice of constraint handling rules
   1998/10/01 by Thom Frühwirth · 2 citations
   Computer Science · #Constraint Satisfaction and Optimization #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
2. An Operational Semantics for the Cognitive Architecture ACT-R and its\n Translation to Constraint Handling Rules
   2017/02/06 by Daniel Gall, Thom Frühwirth, Gall, Daniel +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
3. A Decidable Confluence Test for Cognitive Models in ACT-R
   2017/05/23 by Daniel Gall, Thom Frühwirth, Gall, Daniel +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