st implementation of the act-r production system. In Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society, 1993. Lai12. John E Laird. The Soar Cognitive Architecture. MIT Press, 2012. LBHIO. Jens Lehmann, Sebastian Bader, and Pascal Hitzler. Extracting reduced logic programs from