Bundy, Alan

19 publications

ICMLW 2021 GPy-ABCD: A Configurable Automatic Bayesian Covariance Discovery Implementation Thomas Fletcher, Alan Bundy, Kwabena Nuamah

IJCAI 2007 Cooperating Reasoning Processes: More than Just the Sum of Their Parts Alan Bundy

ICML 2000 Automatic Identification of Mathematical Concepts Simon Colton, Alan Bundy, Toby Walsh

AAAI 2000 Automatic Invention of Integer Sequences Simon Colton, Alan Bundy, Toby Walsh

AAAI 2000 Combining Knowledge and Search to Solve Single-Suit Bridge Ian Frank, David A. Basin, Alan Bundy

IJCAI 1999 Automatic Concept Formation in Pure Mathematics Simon Colton, Alan Bundy, Toby Walsh

IJCAI 1997 Automation of Diagrammatic Reasoning Mateja Jamnik, Alan Bundy, Ian Green

AAAI 1996 Computing Abstraction Hierarchies by Numerical Simulation Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh

IJCAI 1995 Relational Rippling: A General Approach Alan Bundy, Vincent Lombart

IJCAI 1989 A Rational Reconstruction and Extension of Recursion Analysis Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens

IJCAI 1985 Discovery and Reasoning in Mathematics Alan Bundy

IJCAI 1985 Raising the Standards of AI Products Alan Bundy, Richard Clutterbuck

IJCAI 1983 Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983 Alan Bundy

IJCAI 1981 Homogenization: Preparing Equations for Change of Unknown Alan Bundy, Bernard Silver

IJCAI 1981 Using Matching in Algebraic Equation Solving Alan Borning, Alan Bundy

IJCAI 1977 Can Domain Specific Knowledge Be Generalized? Alan Bundy

IJCAI 1977 Representing Semantic Information in Pulley Problems George F. Luger, Alan Bundy

IJCAI 1975 Analysing Mathematical Proofs (Or Reading Between the Lines) Alan Bundy

IJCAI 1973 Doing Arithmetic with Diagrams Alan Bundy