Andrew Stevens

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62 (2) (1993)
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
A Rational Reconstruction and Extension of Recursion Analysis. IJCAI (1989)