About Raymond Reiter Raymond Reiter is Professor and Co-Director of the Cognitive Robotics Project in the Department of Computer Science at the University of Toronto. Books by Raymond Reiter Knowledge in Action Logical Foundations for Specifying and Implementing Dynamical Systems by (author) Raymond Reiter