Concepedia

Alan Smaill

AS

29

Publications

1.1K

Citations

18

H-Index

1989

Active since

Affiliations

University of Edinburgh(Current)

Osnabrück University

Max Planck Society

Goldsmiths University of London

Imperial College London

Alan Smaill is an author at University of Edinburgh specializing in engineering, computer science, and automated reasoning.

Top concepts

Publications per year

1989–2015

29

Publications

29

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen et al. · Artificial Intelligence · 1993 · 225 citations · Full text

, , +7

Experiments with proof plans for induction

Alan Bundy, Frank van Harmelen, Jane Hesketh et al. · Journal of Automated Reasoning · 1991 · 113 citations · Full text

, , +6

Proceedings of the International Conference on Computational Creativity

Alison Pease, Markus Guhe, Alan Smaill · 2010 · 91 citations

, , +2

Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000)

Josh Singer, Ian P. Gent, Alan Smaill · 2000 · 64 citations

, , +7

A Framework for the Evaluation of Music Representation Systems

Geraínt A. Wiggins, Eduardo Reck Miranda, Alan Smaill et al. · Computer Music Journal · 1993 · 62 citations

, , +4

Rows per page

1–5 of 29