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