Inference with Recursive Rules. - Stuart C. Shapiro; Donald P. McKay (AAAI, 1980)

MULTI - A LISP Based Multiprocessing System. - Donald P. McKay; Stuart C. Shapiro (LISP Conference, 1980)

Using Active Connection Graphs for Reasoning with Recursive Rules. - Donald P. McKay; Stuart C. Shapiro (IJCAI, 1981)

A Predicate Connection Graph Based Logic with Flexible Control. - Richard Whitney; Darrel J. Van Buer; Donald P. McKay; Dan Kogan; Lynette Hirschman; Rebecca Davis (IJCAI, 1985)

The intelligent system server: delivering AI to complex systems. - Timothy W. Finin; Richard Fritzson; Robin McEntire; Donald P. McKay; Anthony B. O'Hare (TAI, 1989)

The Intelligent Database Interface: Integrating AI and Database Systems. - Donald P. McKay; Timothy W. Finin; Anthony B. O'Hare (AAAI, 1990)

Beyond Class A: A Proposal for Automatic Evaluation of Discourse. - Lynette Hirschman; Deborah A. Dahl; Donald P. McKay; Lewis M. Norton; Marcia C. Linebarger (HLT, 1990)

Management and Evaluation of Interactive Dialog in the Air Travel Domain. - Lewis M. Norton; Deborah A. Dahl; Donald P. McKay; Lynette Hirschman; Marcia C. Linebarger; David M. Magerman; Catherine N. Ball (HLT, 1990)

The DARPA Knowledge Sharing Effort: A Progress Report. - Ramesh S. Patil; Richard Fikes; Peter F. Patel-Schneider; Donald P. McKay; Timothy W. Finin; Thomas R. Gruber; Robert Neches (KR, 1992)

KQML As An Agent Communication Language. - Timothy W. Finin; Richard Fritzson; Donald P. McKay; Robin McEntire (CIKM, 1994)

An Architecture for Intelligent Resource Agents. - Jon A. Pastor; Suzanne Liebowitz Taylor; Donald P. McKay; Robin McEntire (CoopIS, 1997)

The Online Learning Academy. - Suzanne Liebowitz Taylor; Donald P. McKay; Ann Culp; Stephen Baumann; Karen Elinich (WebNet, 1997)