Thomas Locke Hobbs, Uma Karmarkar, and Jerry R. Hobbs Artificial Intelligence Center SRI International Menlo Park, California
