Folgen
Alan Bundy
Alan Bundy
Professor of Automated Reasoning, University of Edinburgh
Bestätigte E-Mail-Adresse bei ed.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The use of explicit plans to guide inductive proofs
A Bundy
9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988
5811988
The computer modelling of mathematical reasoning
A Bundy
Academic Press, 1983
5211983
Computational thinking is pervasive
A Bundy
Journal of Scientific and Practical Computing 1 (2), 2007
4772007
Catalogue of artificial intelligence tools
A Bundy
Catalogue of Artificial Intelligence Tools, 7-161, 1986
403*1986
Rippling: A heuristic for guiding inductive proofs
A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill
Artificial intelligence 62 (2), 185-253, 1993
4021993
The OYSTER-CLAM system
A Bundy, F Van Harmelen, C Horn, A Smaill
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
3671990
Productive use of failure in inductive proof
A Ireland, A Bundy
Automated Mathematical Induction, 79-111, 1996
2631996
Preparing for the future of artificial intelligence
A Bundy
Ai & Society 32, 285-287, 2017
2342017
Rippling: meta-level guidance for mathematical reasoning
A Bundy
Cambridge University Press, 2005
2182005
The automation of proof by mathematical induction
A Bundy
2121999
Experiments with proof plans for induction
A Bundy, F Van Harmelen, J Hesketh, A Smaill
Journal of Automated reasoning 7, 303-324, 1991
2091991
A science of reasoning
A Bundy
International conference on automated reasoning with analytic tableaux and …, 1998
2021998
Incidence calculus: a mechanism for probabilistic reasoning
A Bundy
Journal of automated reasoning 1, 263-283, 1985
2021985
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
A Bundy, B Welham
Artificial Intelligence 16 (2), 189-211, 1981
2011981
Explanation-based generalisation= partial evaluation
F Van Harmelen, A Bundy
Artificial Intelligence 36 (3), 401-412, 1988
1911988
An analytical comparison of some rule-learning programs
A Bundy, B Silver, D Plummer
Artificial Intelligence 27 (2), 137-181, 1985
1871985
Solving mechanics problems using meta-level inference
A Bundy, L Byrd, G Luger, C Mellish, M Palmer
Proceedings of the 6th international joint conference on Artificial …, 1979
1741979
On the notion of interestingness in automated mathematical discovery
S Colton, A Bundy, T Walsh
International Journal of Human-Computer Studies 53 (3), 351-375, 2000
1292000
Conjecture synthesis for inductive theories
M Johansson, L Dixon, A Bundy
Journal of automated reasoning 47, 251-289, 2011
1052011
Extensions to the rippling-out tactic for guiding inductive proofs
A Bundy, F Van Harmelen, A Smaill, A Ireland
10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990
971990
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20