Alan Bundy

Cituota

	Visi	Nuo 2019
Šaltiniai	10776	1738
h-rodyklė	46	15
i10-rodyklė	177	35

420

210

105

315

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202495 128 159 155 194 226 200 262 280 396 166 284 221 272 302 249 253 262 246 324 332 292 407 276 296 284 256 284 297 263 200 179 251 265 292 209 349 315 287 285

Viešas pasiekiamumas

Peržiūrėti viską

17 straipsnių

2 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Toby WalshProfessor, UNSW and CSIRO Data61Patvirtintas el. paštas cse.unsw.edu.au
Fiona McNeillReader in Computing Education, University of EdinburghPatvirtintas el. paštas ed.ac.uk
Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamPatvirtintas el. paštas vu.nl
David RobertsonProfessor of Applied Logic, University of EdinburghPatvirtintas el. paštas inf.ed.ac.uk
David BasinProfessor of Computer Science, ETH ZurichPatvirtintas el. paštas inf.ethz.ch
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityPatvirtintas el. paštas chalmers.se
Graham SteelINRIAPatvirtintas el. paštas cryptosense.com
Helen PainUniversity of EdinburghPatvirtintas el. paštas inf.ed.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKPatvirtintas el. paštas ncl.ac.uk
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoPatvirtintas el. paštas unitn.it
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentPatvirtintas el. paštas ffi.no
Chris MellishComputing Science, University of AberdeenPatvirtintas el. paštas abdn.ac.uk
Weiru LiuProfessor of Artificial Intelligence, University of BristolPatvirtintas el. paštas bristol.ac.uk
Raul MonroyProfessor of Computer Science, Tecnologico de Monterrey, Campus Estado de MexicoPatvirtintas el. paštas tec.mx
Jon WhittleCSIRO's Data61Patvirtintas el. paštas data61.csiro.au
John LevineSenior Lecturer, University of StrathclydePatvirtintas el. paštas strath.ac.uk
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradePatvirtintas el. paštas matf.bg.ac.rs
Dieter HutterGerman Research Center for Artificial IntelligencePatvirtintas el. paštas dfki.de
Geraint WigginsProfessor of Computational Creativity, Vrije Universiteit Brussel / Queen Mary University of LondonPatvirtintas el. paštas vub.ac.be
Louise DennisDepartment of Computer Science, University of ManchesterPatvirtintas el. paštas manchester.ac.uk

Stebėti

Alan Bundy

Professor of Automated Reasoning, University of Edinburgh

Patvirtintas el. paštas ed.ac.uk - Pagrindinis puslapis

Artificial Intelligence Automated Reasoning Formal Methods Ontology Evolution


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
The use of explicit plans to guide inductive proofs A Bundy 9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 1988	579	1988
The computer modelling of mathematical reasoning A Bundy Academic Press, 1983	520	1983
Computational thinking is pervasive A Bundy Journal of Scientific and Practical Computing 1 (2), 2007	471	2007
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	402	1993
Catalogue of artificial intelligence tools A Bundy Catalogue of Artificial Intelligence Tools, 7-161, 1986	398*	1986
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	367	1990
Productive use of failure in inductive proof A Ireland, A Bundy Automated Mathematical Induction, 79-111, 1996	262	1996
Preparing for the future of artificial intelligence A Bundy Ai & Society 32, 285-287, 2017	228	2017
Rippling: meta-level guidance for mathematical reasoning A Bundy Cambridge University Press, 2005	218	2005
The automation of proof by mathematical induction A Bundy	211	1999
Experiments with proof plans for induction A Bundy, F Van Harmelen, J Hesketh, A Smaill Journal of Automated reasoning 7, 303-324, 1991	209	1991
A science of reasoning A Bundy International conference on automated reasoning with analytic tableaux and …, 1998	202	1998
Incidence calculus: a mechanism for probabilistic reasoning A Bundy Journal of automated reasoning 1, 263-283, 1985	202	1985
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	201	1981
Explanation-based generalisation= partial evaluation F Van Harmelen, A Bundy Artificial Intelligence 36 (3), 401-412, 1988	189	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	173	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	128	2000
Conjecture synthesis for inductive theories M Johansson, L Dixon, A Bundy Journal of automated reasoning 47, 251-289, 2011	105	2011
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	97	1990

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai