C. Cordell Green

4 papers in the IJCAI proceedings

IJCAI 1979

Results in Knowledge-Based Program Synthesis

with Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold

Details PDF

IJCAI 1975

Inferring LISP Programs From Examples

with David E. Shaw, William R. Swartout

Details PDF

Some Rules For The Automatic Synthesis Of Programs

with David R. Barstow

Details PDF

IJCAI 1969

Application of Theorem Proving to Problem Solving

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings