McKay, Donald P.

4 publications

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

IJCAI 1985 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 1981 Using Active Connection Graphs for Reasoning with Recursive Rules Donald P. McKay, Stuart C. Shapiro

AAAI 1980 Inference with Recursive Rules Stuart C. Shapiro, Donald P. McKay