For contributions to Artificial Intelligence through innovations in memory-based reasoning and constraint-satisfaction techniques.

[Fellows]   [Awards]