Hector J. Levesque is Professor of Computer Science at the University of Toronto. He is the coauthor (with Gerhard Lakemeyer) of "The Logic of Knowledge Bases" (MIT Press, 2001) and coeditor (with Ronald J. Brachman) of "Knowledge Representation and Reasoning" (MIT Press, 1992).