Yves Lesprance

A concurrent programming language based on the situation calculus: Language and implementation

Hector J. Levesque, Giuseppe De Giacomo, Yves Lesprance, 1999 .

Integrating Planning into Reactive High-Level Robot Programs

Yves Lesprance, Ng Ho-kong, Yves Lesprance, 2000 .

Distributed Software Agents and Communication in the Situation Calculus

Daniel Marcu, Yves Lesprance, D. Marcu, 1995 .

An Argument for Indexical Representations in Temporal Reasoning

Hector J. Levesque, Yves Lesprance, H. Levesque, 1994 .