Donald P. McKay

System Development Corporation Santa Monica , California and Paoli , Pennsylvania

2 papers in the IJCAI proceedings

IJCAI 1985

A Predicate Connection Graph Based Logic with Flexible Control

with Richard Whitney, Darrel J. Van Buer, Dan Kogan, Lynette Hirschman, Rebecca Davis

Details PDF

IJCAI 1981

Using Active Connection Graphs for Reasoning with Recursive Rules

with Stuart C. Shapiro

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings