Raymond Reiter, a professor of computer science at the University of Toronto, a fellow of the Royal Society of Canada, and winner of the International Joint Conference on Artificial Intelligence 1993 Outstanding Research Scientist Award, died September 16, 2002, after a year-long struggle with cancer. Reiter, known throughout the world as "Ray," made foundational contributions to artifi- cial intelligence, knowledge representation and databases, and theorem proving.
The Workshop on Logic-Based Artificial Intelligence (LBAI) was held in Washington, D.C., on 13 to 15 June 1999. The workshop was organized by Jack Minker and John McCarthy. Its purpose was to bring together researchers who use logic as a fundamental tool in AI to permit them to review accomplishments, assess future directions, and share their research in LBAI.