Research Areas

  • Artificial Intelligence and Intelligent Agents


  • PhD 1980, Massachusetts Institute of Technology, Artificial Intelligence
  • SM 1977, Massachusetts Institute of Technology, Electrical Engineering and Computer Science
  • BS 1974, University of Houston, Mathematics


  • American Association for Artificial Intelligence, Fellow - 1981
  • Member, AAAI Executive Council (1996-1999)
  • Chair, ACM SIGART (1989-1991)
  • Extraordinary Member, Frege Centre for Structural Sciences, Friedrich Schiller University, Jena, Germany
  • Director, Principles of Knowledge Representation and Reasoning
  • Associate chair, NSF/CRA/ACM Strategic Directions in Computing Research
  • Invited speaker, AAAI-90, NM-96, KR-06