Artificial Intelligence: Prospects for the 21 st Century Henry Kautz Department of Computer Science University of Rochester.