David Canfield Smith

3 papers in the IJCAI proceedings

IJCAI 1973

Backtracking in MLISP2: an efficient backtracking method for LISP

with Horace J. Enea

Details PDF

The LISP7O Pattern Matching System

with Lawrence G. Tesler, Horace J. Enea

Details PDF

IJCAI 1969

Dialogues Between Humans and an Artificial Belief System

with Kenneth Mark Colby

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings