Skip navigation

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.

Titles 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.

Titles by This Editor

Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.