Brian Amento William C. Hill Deborah Hix Leslie Pack Kaelbling Yoram Singer Loren G. Terveen