Alan Bundy

Citace

	Všechny	Od 2020
Citace	11207	1576
h-index	46	15
i10-index	179	32

420

210

105

315

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025160 182 170 181 236 213 276 286 405 172 287 233 268 308 251 253 267 251 329 331 302 404 277 292 294 261 297 308 265 205 177 257 272 294 228 360 326 283 324 54

Veřejný přístup

Zobrazit všechny

17 článků

2 články

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Spoluautoři

Toby WalshProfessor, UNSW and CSIRO Data61E-mailová adresa ověřena na: cse.unsw.edu.au
Fiona McNeillReader in Computing Education, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamE-mailová adresa ověřena na: vu.nl
David RobertsonProfessor of Applied Logic, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
David BasinProfessor of Computer Science, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
Chris MellishComputing Science, University of AberdeenE-mailová adresa ověřena na: abdn.ac.uk
Helen PainUniversity of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityE-mailová adresa ověřena na: chalmers.se
Graham SteelINRIAE-mailová adresa ověřena na: cryptosense.com
Cliff B JonesProfessor of Computing Science, Newcastle University, UKE-mailová adresa ověřena na: ncl.ac.uk
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoE-mailová adresa ověřena na: unitn.it
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentE-mailová adresa ověřena na: ffi.no
Weiru LiuProfessor of Artificial Intelligence, University of BristolE-mailová adresa ověřena na: bristol.ac.uk
Raul MonroyProfessor of Computer Science, Tecnologico de Monterrey, Campus Estado de MexicoE-mailová adresa ověřena na: tec.mx
Jon WhittleCSIRO's Data61E-mailová adresa ověřena na: data61.csiro.au
John LevineSenior Lecturer, University of StrathclydeE-mailová adresa ověřena na: strath.ac.uk
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeE-mailová adresa ověřena na: matf.bg.ac.rs
Louise DennisDepartment of Computer Science, University of ManchesterE-mailová adresa ověřena na: manchester.ac.uk
Dieter HutterGerman Research Center for Artificial IntelligenceE-mailová adresa ověřena na: dfki.de
Steven WillmottSafe Intelligence LtdE-mailová adresa ověřena na: timewarp.io

Sledovat

Alan Bundy

Professor of Automated Reasoning, University of Edinburgh

E-mailová adresa ověřena na: ed.ac.uk - Domovská stránka

Artificial Intelligence Automated Reasoning Formal Methods Ontology Evolution


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
The use of explicit plans to guide inductive proofs A Bundy 9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988	582	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	536	1983
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 2007	484	2007
Catalogue of artificial intelligence tools A Bundy Catalogue of Artificial Intelligence Tools, 7-161, 1986	419*	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	406	1993
The O^YS^TER-CL^AM system A Bundy, F Van Harmelen, C Horn, A Smaill 10th International Conference on Automated Deduction: Kaiserslautern, FRG …, 1990	366	1990
Expert systems in the micro-electronic age A Bundy, L Byrd, G Luger, C Mellish, M Palmer Solving Mechanics Problems Using Meta-Level Inference, 50-64, 1979	304	1979
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996	270	1996
Preparing for the future of artificial intelligence A Bundy Ai & Society 32 (2), 285-287, 2017	241	2017
Rippling: meta-level guidance for mathematical reasoning A Bundy Cambridge University Press, 2005	226	2005
The automation of proof by mathematical induction A Bundy	222	1999
Experiments with proof plans for induction A Bundy, F Van Harmelen, J Hesketh, A Smaill Journal of Automated reasoning 7, 303-324, 1991	212	1991
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	204	1998
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	204	1981
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1, 263-283, 1985	202	1985
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988	192	1988
An analytical comparison of some rule-learning programs A Bundy, B Silver, D Plummer Artificial Intelligence 27 (2), 137-181, 1985	187	1985
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	181	1979
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	127	2000
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of automated reasoning 47, 251-289, 2011	106	2011

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–20

Citace za rok

Duplicitní citace

Sloučené citace

Přidat spoluautorySpoluautoři

Sledovat

Citace

Spoluautoři