Elaine Kant

~rtrnent of Computer Science Carn egie- Mel lon University Pittsbu rgh , Pennsylvania 15213

4 papers in the IJCAI proceedings

IJCAI 1985

Symbolic Execution in Algorithm Design

with David M. Steier

Details PDF

Understanding and Automating Algorithm Design

Details PDF

IJCAI 1979

A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis

Details PDF

Results in Knowledge-Based Program Synthesis

with C. Cordell Green, Richard P. Gabriel, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings