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 this Author
Logical Foundations for Specifying and Implementing Dynamical Systems
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community.This book presents a comprehensive treatment of...