Kant, Elaine

6 publications

AAAI 2000 SciFinance: A Program Synthesis Tool for Financial Modeling Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young

IJCAI 1985 Symbolic Execution in Algorithm Design David M. Steier, Elaine Kant

IJCAI 1985 Understanding and Automating Algorithm Design Elaine Kant

AAAI 1983 An Automatic Algorithm Designer: An Initial Implementation Elaine Kant, Allen Newell

IJCAI 1979 A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis Elaine Kant

IJCAI 1979 Results in Knowledge-Based Program Synthesis C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold