Douglas R. Smith

Kestrel Institute 1801 Page Mill Road Palo Alto , CA 94304 USA

3 papers in the IJCAI proceedings

IJCAI 1985

Reasoning by Cases and the Formation of Conditional Programs

Details PDF

IJCAI 1983

A Problem Reduction Approach to Program Synthesis

Details PDF

IJCAI 1981

A Design for an Automatic Programming System

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings