Yves Lesperance

Associate Professor

Research Interests
  • Artificial intelligence, knowledge representation and reasoning;
  • Logic-based tools for building intelligent autonomous agents;
  • Design and implementation of the GOLOG family of agent programming languages, which are now being used for applications in robot control, process modeling, and intelligent software agents.


Yves Lespérance received his Ph.D. in Computer Science from the University of Toronto in 1991.
Selected Publications

  • (with H.J. Levesque and R. Reiter) A Situation Calculus Approach to Modeling and Programming Agents, in M. Wooldridge and A. Rao, editors, Foundations of Rational Agency, 275-299, Kluwer, 1999.
  • (with H.J. Levesque, R. Reiter, F. Lin, and R.B. Scherl), “GOLOG: A logic programming language for dynamic domains”, Journal of Logic Programming, 31:59-84, 1997.
  • (with H.J. Levesque), “Indexical knowledge and robot action: A logical account”, Artificial Intelligence, 73:69-115, 1995.
Yves Lesperance
Staff Information
Campus Address
Lassonde Bldg Room 3052A Department of Computer Science and Engineering York University 4700 Keele Street Toronto, ON, M3J 1P3, CANADA
Stay in Touch