| AREA |
| Pattern Recognition |
Game Playing |
Natural Language Processing |
Machine Learning |
Knowledge Representation & Reasoning |
Robotics |
Computer Vision |
Planning |
Agents |
Philosophy |
| FIFTIES |
| |
|
|
|
|
|
|
|
|
|
| SIXTIES |
| |
|
|
|
|
|
|
|
|
|
| SEVENTIES |
| |
|
1971 CTA: Terry Winograd (MIT) Language as a Cognitive Process. Volume I: Syntax 1975 CTA: Chuck Rieger (Stanford) Inference and Paraphrase by Computer |
1973 CTA: Pat Winston (MIT) Learning structural descriptions from examples 1977 CTA: Doug Lenat (Stanford) AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search |
1971 CTA: Terry Winograd (MIT) Frame representations and the declarative/procedural controversy 1973 CTA: Pat Winston (MIT) Learning and reasoning by analogy 1975 CTA: Chuck Rieger (Stanford) Inference and Paraphrase by Computer 1977 CTA: Doug Lenat (Stanford) RLL: A representation language language |
|
1979 CTA: David Marr (MIT) Theory of edge detection |
|
|
|
| EIGHTIES |
| |
|
1985 CTA: Hector Levesque (Toronto) Communicative actions for artificial agents 1989 CTA: Henry Kautz (Rochester) Generalized plan recognition |
1983 CTA: Tom Mitchell (CMU) Version Spaces: An Approach to Concept Learning |
1981 CTA: Gerald Sussman (MIT) Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit 1983 CTA: Tom Mitchell (CMU) Version Spaces: An Approach to Concept Learning 1985 CTA: Hector Levesque (Toronto) All I know: a study in autoepistemic logic 1987 CTA: Johan deKleer (Xerox) Problem solving with the ATMS 1989 CTA: Henry Kautz (Rochester) Constraint propagation algorithms for temporal reasoning |
|
|
1989 CTA: Henry Kautz (Rochester) Planning as satisfiability |
|
1981 CTA: Gerald Sussman (MIT) Structure and Interpretation of Computer Programs |
| NINETIES |
| 1993 CTA: Hiroaki Kitano (Sony) Genetic algorithms |
|
1991 CTA: Martha Pollack (Pitt) Intentions in Communication |
1993 CTA: Hiroaki Kitano (Sony) Genetic algorithms 1997 CTA: Leslie Kaelbling (Brown/MIT) Planning and acting in partially observable stochastic domains |
1995 CTA: Sarit Kraus (Bar Ilan/Maryland) Nonmonotonic reasoning, preferential models and cumulative logics 1995 CTA: Stuart Russell (Berkeley) Principles of metareasoning |
1991 CTA: Rod Brooks (MIT) Intelligence without representation 1993 CTA: Hiroaki Kitano (Sony) RoboCup: The Robot World Cup Initiative 1997 CTA: Leslie Kaelbling (Brown/MIT) An architecture for intelligent reactive systems |
|
|
1995 CTA: Stuart Russell (Berkeley) Artificial Intelligence: A Modern Approach 1995 CTA: Sarit Kraus (Bar Ilan/Maryland) Reaching agreements through argumentation: a logical model and implementation 1999 CTA: Nick Jennings (QMW) Agents that reason and negotiate by arguing |
1995 CTA: Stuart Russell (Berkeley) Artificial Intelligence: A Modern Approach |
| NOUGHTS |
| 2001 CTA: Daphne Koller (Stanford) Toward optimal feature selection |
|
|
2001 CTA: Daphne Koller (Stanford) Hierarchically classifying documents using very few words |
2001 CTA: Daphne Koller (Stanford) From statistical knowledge bases to degrees of belief |
|
|
|
2003 CTA: Tuomas Sandholm (WU/CMU) An algorithm for optimal winner determination in combinatorial auctions |
|
| Pattern Recognition |
Game Playing |
Natural Language Processing |
Machine Learning |
Knowledge Representation & Reasoning |
Robotics |
Computer Vision |
Planning |
Agents |
Philosophy |