Daniel Gall, Thom W. Frühwirth. A Decidable Confluence Test for Cognitive Models in ACT-R. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman, editors, Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Volume 10364 of Lecture Notes in Computer Science, pages 119-134, Springer, 2017. [doi]
Abstract is missing.