Ramanathan V. Guha Douglas B. Lenat Karen Pittman Mayank Prakash Dexter Pratt