{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:04Z","timestamp":1750306384589,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T00:00:00Z","timestamp":1436832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,14]]},"DOI":"10.1145\/2790449.2790517","type":"proceedings-article","created":{"date-parts":[[2015,6,29]],"date-time":"2015-06-29T18:10:47Z","timestamp":1435601447000},"page":"114-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A refined operational semantics for ACT-R"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Gall","sequence":"first","affiliation":[{"name":"Ulm University"}]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[{"name":"Ulm University"}]}],"member":"320","published-online":{"date-parts":[[2015,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"S.\n      Abdennadher\n    .\n  Operational semantics and confluence of constraint propagation rules\n  . In G. Smolka editor CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming volume \n  1330\n   of \n  Lecture Notes in Computer Science pages \n  252\n  --\n  266\n  . \n  Springer-Verlag 1997\n  .  S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In G. Smolka editor CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming volume 1330 of Lecture Notes in Computer Science pages 252--266. Springer-Verlag 1997.","DOI":"10.1007\/BFb0017444"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647485.726326"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"S.\n      Abdennadher\n     and \n      T.\n      Fr\u00fchwirth\n  . \n  Operational equivalence of CHR programs and constraints\n  . In J. Jaffar editor CP '99 volume \n  1713\n   of \n  Lecture Notes in Computer Science pages \n  43\n  --\n  57\n  . \n  Springer-Verlag Oct. \n  1999\n  . ISBN 3-540-66626-5.   S. Abdennadher and T. Fr\u00fchwirth. Operational equivalence of CHR programs and constraints. In J. Jaffar editor CP '99 volume 1713 of Lecture Notes in Computer Science pages 43--57. Springer-Verlag Oct. 1999. ISBN 3-540-66626-5.","DOI":"10.1007\/978-3-540-48085-3_4"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft f\u00fcr Kognitionswissenschaft)","volume":"15","author":"Albrecht R.","year":"2014","unstructured":"R. Albrecht and B. Westphal . F-ACT-R: defining the ACT-R architectural space . In Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft f\u00fcr Kognitionswissenschaft) , volume 15 (Suppl. 1) of Cognitive Processing, pages 79--81. Springer , 2014 . R. Albrecht and B. Westphal. F-ACT-R: defining the ACT-R architectural space. In Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft f\u00fcr Kognitionswissenschaft), volume 15 (Suppl. 1) of Cognitive Processing, pages 79--81. Springer, 2014."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft f\u00fcr Kognitionswissenschaft)","volume":"15","author":"Albrecht R.","year":"2014","unstructured":"R. Albrecht , M. Gie\u00dfwein , and B. Westphal . Towards formally founded ACT-R simulation and analysis . In Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft f\u00fcr Kognitionswissenschaft) , volume 15 (Suppl. 1) of Cognitive Processing, pages 27--28. Springer , 2014 . R. Albrecht, M. Gie\u00dfwein, and B. Westphal. Towards formally founded ACT-R simulation and analysis. In Proceedings of the 12th Biannual conference of the German cognitive science society (Gesellschaft f\u00fcr Kognitionswissenschaft), volume 15 (Suppl. 1) of Cognitive Processing, pages 27--28. Springer, 2014."},{"key":"e_1_3_2_1_6_1","first-page":"539895","volume-title":"Oxford University Press","author":"Anderson J. R.","year":"2007","unstructured":"J. R. Anderson . How can the human mind occur in the physical universe ? Oxford University Press , 2007 . ISBN 978-0-19- 539895 - 539893 . J. R. Anderson. How can the human mind occur in the physical universe? Oxford University Press, 2007. ISBN 978-0-19-539895-3."},{"key":"e_1_3_2_1_7_1","volume-title":"The Atomic Components of Thought","author":"Anderson J. R.","year":"1998","unstructured":"J. R. Anderson and C. Lebiere . The Atomic Components of Thought . Lawrence Erlbaum Associates, Inc. , 1998 . J. R. Anderson and C. Lebiere. The Atomic Components of Thought. Lawrence Erlbaum Associates, Inc., 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.111.4.1036"},{"volume-title":"Department of Psychology","author":"Bothell D.","key":"e_1_3_2_1_9_1","unstructured":"D. Bothell . ACT-R 6.0 Reference Manual -- Working Draft . Department of Psychology , Carnegie Mellon University , Pittsburgh, Pennsylvania 15213. D. Bothell. ACT-R 6.0 Reference Manual -- Working Draft. Department of Psychology, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2001.0469"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"G. J.\n      Duck P. J.\n      Stuckey and \n      M.\n      Sulzmann\n  . \n  Observable confluence for Constraint Handling Rules\n  . In V. Dahl and I. Niemel\u00e4 editors ICLP '07 volume \n  4670\n   of \n  Lecture Notes in Computer Science pages \n  224\n  --\n  239\n  . \n  Springer-Verlag Sept. \n  2007\n  . .   G. J. Duck P. J. Stuckey and M. Sulzmann. Observable confluence for Constraint Handling Rules. In V. Dahl and I. Niemel\u00e4 editors ICLP '07 volume 4670 of Lecture Notes in Computer Science pages 224--239. Springer-Verlag Sept. 2007. .","DOI":"10.1007\/978-3-540-74610-2_16"},{"key":"e_1_3_2_1_12_1","volume-title":"QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages","volume":"2002","author":"Fr\u00fchwirth T.","unstructured":"T. Fr\u00fchwirth . As time goes by II: More automatic complexity analysis of concurrent rule programs. In A. D. Pierro and H. Wiklicky, editors , QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages , volume 59(3) of Electronic Notes in Theoretical Computer Science. Elsevier, 2002 . T. Fr\u00fchwirth. As time goes by II: More automatic complexity analysis of concurrent rule programs. In A. D. Pierro and H. Wiklicky, editors, QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages, volume 59(3) of Electronic Notes in Theoretical Computer Science. Elsevier, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609886"},{"key":"e_1_3_2_1_14_1","volume-title":"A rule-based implementation of ACT-R using Constraint Handling Rules. Master Thesis","author":"Gall D.","year":"2013","unstructured":"D. Gall . A rule-based implementation of ACT-R using Constraint Handling Rules. Master Thesis , Ulm University , 2013 . D. Gall. A rule-based implementation of ACT-R using Constraint Handling Rules. Master Thesis, Ulm University, 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000180"},{"key":"e_1_3_2_1_16_1","first-page":"61","volume-title":"Proceedings of the 13th International Conference on Cognitive Modeling","author":"Gall D.","year":"2015","unstructured":"D. Gall and T. Fr\u00fchwirth . An adaptable implementation of ACT-R with refraction in Constraint Handling Rules. In N. Taatgen, M. van Vugt, J. Borst, and K. Mehlhorn, editors , Proceedings of the 13th International Conference on Cognitive Modeling , pages 61 -- 66 , 2015 . D. Gall and T. Fr\u00fchwirth. An adaptable implementation of ACT-R with refraction in Constraint Handling Rules. In N. Taatgen, M. van Vugt, J. Borst, and K. Mehlhorn, editors, Proceedings of the 13th International Conference on Cognitive Modeling, pages 61--66, 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24947-6"},{"key":"e_1_3_2_1_18_1","unstructured":"jACT-R. The Homepage of jACT-R. URL http:\/\/jactr.org\/.  jACT-R. The Homepage of jACT-R. URL http:\/\/jactr.org\/."},{"key":"e_1_3_2_1_19_1","volume-title":"CHR '10","author":"Langbein J.","year":"2010","unstructured":"J. Langbein , F. Raiser , and T. Fr\u00fchwirth . A state equivalence and confluence checker for CHR. In P. Van Weert and L. De Koninck, editors , CHR '10 . K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010 . J. Langbein, F. Raiser, and T. Fr\u00fchwirth. A state equivalence and confluence checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR '10. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010."},{"key":"e_1_3_2_1_20_1","unstructured":"D. Salvucci. ACT-R: The Java Simulation & Development Environment -- Homepage. URL http:\/\/cog.cs.drexel.edu\/act-r\/.  D. Salvucci. ACT-R: The Java Simulation & Development Environment -- Homepage. URL http:\/\/cog.cs.drexel.edu\/act-r\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2007.06.006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816772.003"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-0277(02)00176-2"},{"key":"e_1_3_2_1_24_1","first-page":"29","volume-title":"Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation.","author":"Taatgen N. A.","year":"2006","unstructured":"N. A. Taatgen , C. Lebiere , and J. Anderson . Modeling paradigms in ACT-R . In Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation. , pages 29 -- 52 . Cambridge University Press , 2006 . N. A. Taatgen, C. Lebiere, and J. Anderson. Modeling paradigms in ACT-R. In Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation., pages 29--52. Cambridge University Press, 2006."},{"key":"e_1_3_2_1_25_1","volume-title":"Understanding ACT-R -- an outsiders perspective","author":"Whitehill J.","year":"2013","unstructured":"J. Whitehill . Understanding ACT-R -- an outsiders perspective , 2013 . URL http:\/\/arxiv.org\/abs\/1306.0125. J. Whitehill. Understanding ACT-R -- an outsiders perspective, 2013. URL http:\/\/arxiv.org\/abs\/1306.0125."}],"event":{"name":"PPDP '15: 17th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Siena Italy","acronym":"PPDP '15"},"container-title":["Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2790449.2790517","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2790449.2790517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:06Z","timestamp":1750223226000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2790449.2790517"}},"subtitle":["investigating the relations between different ACT-R formalizations"],"short-title":[],"issued":{"date-parts":[[2015,7,14]]},"references-count":25,"alternative-id":["10.1145\/2790449.2790517","10.1145\/2790449"],"URL":"https:\/\/doi.org\/10.1145\/2790449.2790517","relation":{},"subject":[],"published":{"date-parts":[[2015,7,14]]},"assertion":[{"value":"2015-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}