Raymond Reiter
ACM Fellows
Canada - 1997
citation
Professor Reiter's fundamental contributions to artificial intelligence have important applications in perception, diagnostic reasoning, robotic control and database, and programming language semantics.