Edit Profile (opens in new tab) Bundy, Alan Co-Author Distance Author ID: bundy.alan Published as: Bundy, Alan; Bundy, A. External Links: MGP · Wikidata · dblp · IdRef Documents Indexed: 79 Publications since 1972, including 2 Books 2 Contributions as Editor Co-Authors: 59 Co-Authors with 60 Joint Publications 913 Co-Co-Authors all top 5 Co-Authors 20 single-authored 9 Green, Ian 8 Jamnik, Mateja 7 Ireland, Andrew 7 Smaill, Alan 6 van Harmelen, Frank 5 Winterstein, Daniel 4 Janičić, Predrag 4 Walsh, Toby 3 Dennis, Louise Abigail 3 Dixon, Lucas 3 Grov, Gudmund 3 Gurr, Corin A. 3 Johansson, Moa 3 O’Keefe, Richard A. 3 Silver, Bernard 3 Steel, Graham 3 Sterling, Leon S. 2 Basin, David A. 2 Byrd, Lawrence 2 Giunchiglia, Fausto 2 Hesketh, Jane 2 Liu, Weiru 2 Monroy, Raúl 2 Pease, Alison 2 Raggi, Daniel 2 Richardson, Julian 2 Stevens, Andrew 1 Abourbih, Jonathan A. 1 Armando, Alessandro 1 Atiyah, Michael Francis 1 Blaney, Luke 1 Boulton, Richard J. 1 Colton, Simon 1 Fateman, Richard J. 1 Fugard, Andrew 1 Gallagher, Jason 1 Gow, Jeremy 1 Horn, Christian 1 Hutter, Dieter 1 Kraan, Ina 1 Levine, John 1 Lin, Yuhui 1 Macintyre, Angus John 1 MacKenzie, Donald 1 Maclean, Ewen 1 Madden, Peter E. 1 Maidl, Monika 1 Manning, Alistair 1 McCasland, Roy L. 1 McLean, R. G. D. 1 McNeill, Fiona 1 Nuamah, Kwabena 1 Nunes, Alex 1 Plummer, Dave 1 Sebastiani, Roberto 1 Smith, Patrick Fleming 1 Villafiorita, Adolfo 1 Welham, Bob 1 Whittle, Jon all top 5 Serials 11 Journal of Automated Reasoning 6 Artificial Intelligence 3 Annals of Mathematics and Artificial Intelligence 2 International Journal of Approximate Reasoning 2 Formal Aspects of Computing 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 ACM Transactions on Mathematical Software 1 Notre Dame Journal of Formal Logic 1 SIGSAM Bulletin 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Journal of Logic, Language and Information 1 International Journal of Human-Computer Studies 1 1 Journal of Functional Programming 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Cambridge Tracts in Theoretical Computer Science 1 Lecture Notes in Computer Science 1 Mathematics in Computer Science all top 5 Fields 73 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 9 General and overarching topics; collections (00-XX) 3 Numerical analysis (65-XX) 3 Information and communication theory, circuits (94-XX) 1 Field theory and polynomials (12-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 57 Publications have been cited 390 times in 234 Documents Cited by ▼ Year ▼ The use of explicit plans to guide inductive proofs. Zbl 0656.68106Bundy, Alan 36 1988 Productive use of failure in inductive proof. Zbl 0847.68103Ireland, Andrew; Bundy, Alan 33 1996 Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan 31 1993 Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew 30 2005 The automation of proof by mathematical induction. Zbl 0994.03007Bundy, Alan 28 2001 The computer modelling of mathematical reasoning. Zbl 0541.68067Bundy, Alan 20 1983 Conjecture synthesis for inductive theories. Zbl 1243.68268Johansson, Moa; Dixon, Lucas; Bundy, Alan 18 2011 Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067Bundy, Alan 16 1985 The OYSTER-CLAM system. Zbl 1509.68299Bundy, Alan; van Harmelen, Frank; Horn, Christian; Smaill, Alan 14 1990 Experiments with proof plans for induction. Zbl 0733.68069Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan 12 1991 Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106van Harmelen, Frank; Bundy, Alan 9 1988 On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621Colton, Simon; Bundy, Alan; Walsh, Toby 9 2000 Extensions to the rippling-out tactic for guiding inductive proofs. Zbl 1509.68300Bundy, Alan; van Harmelen, Frank; Smaill, Alan; Ireland, Andrew 8 1990 Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584Winterstein, Daniel; Bundy, Alan; Gurr, Corin 7 2004 The use of proof plans to sum series. Zbl 0925.03072Walsh, Toby; Nunes, Alex; Bundy, Alan 7 1992 Case-analysis for rippling and inductive proof. Zbl 1291.68352Johansson, Moa; Dixon, Lucas; Bundy, Alan 6 2010 A rational reconstruction and extension of recursion analysis. Zbl 0708.68061Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew 6 1989 Middle-out reasoning for synthesis and induction. Zbl 0847.68104Kraan, Ina; Basin, David; Bundy, Alan 6 1996 Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus 6 2005 On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008Jamnik, Mateja; Bundy, Alan; Green, Ian 6 1999 Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178Bundy, Alan 6 1986 Applying adversarial planning techniques to Go. Zbl 0962.91011Willmott, S.; Richardson, J.; Bundy, A.; Levine, J. 5 2001 Proofs about lists using ellipsis. Zbl 0938.03017Bundy, Alan; Richardson, Julian 5 1999 A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012Janičić, Predrag; Bundy, Alan 4 2002 Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby 4 1997 Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177Bundy, Alan 4 2011 Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041Bundy, Alan; Welham, Bob 4 1980 Ascertaining mathematical theorems. Zbl 1273.68324McCasland, Roy L.; Bundy, Alan; Smith, Patrick F. 4 2006 Towards ontology evolution in physics. Zbl 1155.68521Bundy, Alan; Chan, Michael 3 2008 An analytical comparison of some rule-learning programs. Zbl 0583.68043Bundy, Alan; Silver, Bernard; Plummer, Dave 3 1985 What is a proof? Zbl 1152.00305Bundy, Alan; Jamnik, Mateja; Fugard, Andrew 3 2005 Automatic verification of functions with accumulating parameters. Zbl 0940.68023Ireland, Andrew; Bundy, Alan 3 1999 A survey of automated deduction. Zbl 0947.03011Bundy, Alan 3 1999 An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja 2 2004 A generalized interval package and its use for semantic checking. Zbl 0548.65039Bundy, Alan 2 1984 Using animation in diagrammatic theorem proving. Zbl 1049.68122Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja 2 2002 A critique of proof planning. Zbl 1012.68180Bundy, Alan 2 2002 Calculating criticalities. Zbl 0906.68138Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T. 2 1996 A science of reasoning. (Extended abstract). Zbl 0913.03022Bundy, Alan 2 1998 Using a generalisation critic to find bisimulations for coinductive proofs. Zbl 1430.68399Dennis, Louise; Bundy, Alan; Green, Ian 2 1997 A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122Janičić, Predrag; Bundy, Alan; Green, Ian 1 1999 A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja 1 2000 A single-significant-digit calculus for semi-automated guesstimation. Zbl 1291.68315Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona 1 2010 On differences between the real and physical plane. Zbl 1091.68666Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja 1 2004 Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128Dennis, L. A.; Bundy, A.; Green, I. 1 2000 On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110Jamnik, Mateja; Bundy, Alan; Green, Ian 1 2002 Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2015 Planning proofs of equations in CCS. Zbl 1034.68646Monroy, Raúl; Bundy, Alan; Green, Ian 1 2000 Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Zbl 0875.00063 1 1994 Assignment methods for incidence calculus. Zbl 0820.68114McLean, R. G.; Bundy, A.; Liu, W. 1 1995 Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579Steel, Graham; Bundy, Alan; Maidl, Monika 1 2004 Automating signature evolution in logical theories. Zbl 1166.68356Bundy, Alan 1 2008 Attacking group protocols by refuting incorrect inductive conjectures. Zbl 1134.94378Steel, Graham; Bundy, Alan 1 2006 A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504Janičić, Predrag; Green, Ian; Bundy, Alan 1 1997 Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon 1 1988 Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2016 Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001Bundy, Alan 1 1978 Automating change of representation for proofs in discrete mathematics (extended version). Zbl 1409.68261Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2016 Automating change of representation for proofs in discrete mathematics. Zbl 1409.68260Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison 1 2015 Conjecture synthesis for inductive theories. Zbl 1243.68268Johansson, Moa; Dixon, Lucas; Bundy, Alan 18 2011 Automated theorem provers: a practical tool for the working mathematician? Zbl 1237.68177Bundy, Alan 4 2011 Case-analysis for rippling and inductive proof. Zbl 1291.68352Johansson, Moa; Dixon, Lucas; Bundy, Alan 6 2010 A single-significant-digit calculus for semi-automated guesstimation. Zbl 1291.68315Abourbih, Jonathan A.; Blaney, Luke; Bundy, Alan; McNeill, Fiona 1 2010 Towards ontology evolution in physics. Zbl 1155.68521Bundy, Alan; Chan, Michael 3 2008 Automating signature evolution in logical theories. Zbl 1166.68356Bundy, Alan 1 2008 Ascertaining mathematical theorems. Zbl 1273.68324McCasland, Roy L.; Bundy, Alan; Smith, Patrick F. 4 2006 Attacking group protocols by refuting incorrect inductive conjectures. Zbl 1134.94378Steel, Graham; Bundy, Alan 1 2006 Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew 30 2005 Abstracts of additional presentations made at the Royal Society discussion meeting ‘The nature of mathematical proof’. Zbl 1152.03303Bundy, Alan; Mackenzie, Donald; Atiyah, Michael; Macintyre, Angus 6 2005 What is a proof? Zbl 1152.00305Bundy, Alan; Jamnik, Mateja; Fugard, Andrew 3 2005 Dr.Doodle: A diagrammatic theorem prover. Zbl 1126.68584Winterstein, Daniel; Bundy, Alan; Gurr, Corin 7 2004 An experimental comparison of diagrammatic and algebraic logics. Zbl 1091.68597Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja 2 2004 On differences between the real and physical plane. Zbl 1091.68666Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja 1 2004 Attacking a protocol for group key agreement by refuting incorrect inductive conjectures. Zbl 1126.68579Steel, Graham; Bundy, Alan; Maidl, Monika 1 2004 A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012Janičić, Predrag; Bundy, Alan 4 2002 Using animation in diagrammatic theorem proving. Zbl 1049.68122Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja 2 2002 A critique of proof planning. Zbl 1012.68180Bundy, Alan 2 2002 On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110Jamnik, Mateja; Bundy, Alan; Green, Ian 1 2002 The automation of proof by mathematical induction. Zbl 0994.03007Bundy, Alan 28 2001 Applying adversarial planning techniques to Go. Zbl 0962.91011Willmott, S.; Richardson, J.; Bundy, A.; Levine, J. 5 2001 On the notion of interestingness in automated mathematical discovery. Zbl 1011.68621Colton, Simon; Bundy, Alan; Walsh, Toby 9 2000 A proposal for automating diagrammatic reasoning in continuous domains. Zbl 0973.68544Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja 1 2000 Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128Dennis, L. A.; Bundy, A.; Green, I. 1 2000 Planning proofs of equations in CCS. Zbl 1034.68646Monroy, Raúl; Bundy, Alan; Green, Ian 1 2000 On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008Jamnik, Mateja; Bundy, Alan; Green, Ian 6 1999 Proofs about lists using ellipsis. Zbl 0938.03017Bundy, Alan; Richardson, Julian 5 1999 Automatic verification of functions with accumulating parameters. Zbl 0940.68023Ireland, Andrew; Bundy, Alan 3 1999 A survey of automated deduction. Zbl 0947.03011Bundy, Alan 3 1999 A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122Janičić, Predrag; Bundy, Alan; Green, Ian 1 1999 A science of reasoning. (Extended abstract). Zbl 0913.03022Bundy, Alan 2 1998 Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby 4 1997 Using a generalisation critic to find bisimulations for coinductive proofs. Zbl 1430.68399Dennis, Louise; Bundy, Alan; Green, Ian 2 1997 A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504Janičić, Predrag; Green, Ian; Bundy, Alan 1 1997 Productive use of failure in inductive proof. Zbl 0847.68103Ireland, Andrew; Bundy, Alan 33 1996 Middle-out reasoning for synthesis and induction. Zbl 0847.68104Kraan, Ina; Basin, David; Bundy, Alan 6 1996 Calculating criticalities. Zbl 0906.68138Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T. 2 1996 Assignment methods for incidence calculus. Zbl 0820.68114McLean, R. G.; Bundy, A.; Liu, W. 1 1995 Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Zbl 0875.00063 1 1994 Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan 31 1993 The use of proof plans to sum series. Zbl 0925.03072Walsh, Toby; Nunes, Alex; Bundy, Alan 7 1992 Experiments with proof plans for induction. Zbl 0733.68069Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan 12 1991 The OYSTER-CLAM system. Zbl 1509.68299Bundy, Alan; van Harmelen, Frank; Horn, Christian; Smaill, Alan 14 1990 Extensions to the rippling-out tactic for guiding inductive proofs. Zbl 1509.68300Bundy, Alan; van Harmelen, Frank; Smaill, Alan; Ireland, Andrew 8 1990 A rational reconstruction and extension of recursion analysis. Zbl 0708.68061Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew 6 1989 The use of explicit plans to guide inductive proofs. Zbl 0656.68106Bundy, Alan 36 1988 Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106van Harmelen, Frank; Bundy, Alan 9 1988 Commentary on: Solving symbolic equations with PRESS. Zbl 0651.68042Fateman, Richard; Bundy, Alan; O’Keefe, Richard; Sterling, Leon 1 1988 Correctness criteria of some algorithms for uncertain reasoning using incidence calculus. Zbl 0642.68178Bundy, Alan 6 1986 Incidence calculus: A mechanism for probabilistic reasoning. Zbl 0615.68067Bundy, Alan 16 1985 An analytical comparison of some rule-learning programs. Zbl 0583.68043Bundy, Alan; Silver, Bernard; Plummer, Dave 3 1985 A generalized interval package and its use for semantic checking. Zbl 0548.65039Bundy, Alan 2 1984 The computer modelling of mathematical reasoning. Zbl 0541.68067Bundy, Alan 20 1983 Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Zbl 0438.68041Bundy, Alan; Welham, Bob 4 1980 Will it reach the top? Prediction in the mechanics world. Zbl 0376.70001Bundy, Alan 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 388 Authors 22 Bundy, Alan 6 Hutter, Dieter 6 Johansson, Moa 5 Ireland, Andrew 5 Jebelean, Tudor 5 Melis, Erica 5 Smaill, Alan 4 Basin, David A. 4 Dixon, Lucas 4 Drămnesc, Isabela 4 Giesl, Jürgen 4 Hetzl, Stefan 4 Jamnik, Mateja 4 Leitsch, Alexander 4 Peltier, Nicolas 4 Siekmann, Jörg H. 4 Walsh, Toby 3 Benzmüller, Christoph Ewald 3 Claessen, Koen 3 De Angelis, Emanuele 3 Fioravanti, Fabio 3 Fuhs, Carsten 3 Green, Ian 3 Kerber, Manfred 3 Kolbe, Thomas H. 3 Liu, Weiru 3 Maclean, Ewen 3 Proietti, Maurizio 3 Smallbone, Nicholas 3 Stapleton, Gem 3 Stratulat, Sorin 3 van Harmelen, Frank 3 Walther, Christoph 2 Bronsard, Francois 2 Caferra, Ricardo 2 Carette, Jacques 2 Colton, Simon 2 Confalonieri, Roberto 2 Demba, Moussa 2 Dennis, Louise Abigail 2 Eppe, Manfred 2 Farmer, William M. 2 Fish, Andrew 2 Friedrich, Gerhard E. 2 Ghilardi, Silvio 2 Giunchiglia, Fausto 2 Grov, Gudmund 2 Hamami, Yacin 2 Hasker, Robert W. 2 Heeren, Bastiaan 2 Heras, Jónathan 2 Hesketh, Jane 2 Huang, Xiaorong 2 Jeuring, Johan 2 Kaliszyk, Cezary 2 Kohlhase, Michael 2 Komendantskaya, Ekaterina 2 Kounalis, Emmanuel 2 Kraan, Ina 2 Kramosil, Ivan 2 Kulpa, Zenon 2 Kutz, Oliver 2 Lin, Yuhui 2 Lisitsa, Alexei P. 2 Mantel, Heiko 2 Meier, Andreas 2 Paris, Jeffrey Bruce 2 Parting, Michael 2 Pettorossi, Alberto 2 Plaza, Enric 2 Popescu, Andrei 2 Protzen, Martin 2 Pym, David J. 2 Reddy, Uday S. 2 Reis, Giselle 2 Rosen, Dan 2 Schneider-Kamp, Peter 2 Schorlemmer, Marco 2 Sengler, Claus 2 Swiderski, Stephan 2 Traytel, Dmitry 2 Urban, Josef 2 Urbas, Matej 2 Voigtlander, Janis 2 Wang, Lusheng 2 Weller, Daniel S. 2 Windsteiger, Wolfgang 2 Wong, S. K. Michael 2 Yao, Yiyu 1 Abourbih, Jonathan A. 1 Adams, Andrew A. 1 Algehed, Maximilian 1 Amato, Daniela A. 1 Ammon, Kurt 1 Anai, Hirokazu 1 Arai, Noriko H. 1 Aravantinos, Vincent 1 Arkoudas, Konstantine 1 Armando, Alessandro 1 Arthan, Rob D. ...and 288 more Authors all top 5 Cited in 55 Serials 32 Journal of Automated Reasoning 30 Artificial Intelligence 7 Theoretical Computer Science 7 Journal of Symbolic Computation 7 Annals of Mathematics and Artificial Intelligence 5 International Journal of Approximate Reasoning 5 Journal of Applied Logic 4 Formal Aspects of Computing 3 International Journal of General Systems 3 Information Sciences 3 Annals of Pure and Applied Logic 3 International Journal of Intelligent Systems 3 Formal Methods in System Design 3 Mathematics in Computer Science 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 The Review of Symbolic Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Computers & Mathematics with Applications 1 Information Processing Letters 1 Letters in Mathematical Physics 1 Theoretical and Computational Fluid Dynamics 1 Applied Mathematics and Computation 1 Kybernetika 1 Programming and Computer Software 1 1 Studia Logica 1 Synthese 1 Journal of Computer Science and Technology 1 Information and Computation 1 Applied Mathematics Letters 1 AI Communications 1 Machine Learning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Neural Computation 1 Computational Geometry 1 Linear Algebra and its Applications 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Inequalities and Applications 1 LMS Journal of Computation and Mathematics 1 Foundations of Science 1 Journal of Mathematical Logic 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Oberwolfach Reports 1 Logica Universalis 1 Journal of Formalized Reasoning 1 Open Mathematics 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 29 Fields 205 Computer science (68-XX) 77 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 5 Numerical analysis (65-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 Operations research, mathematical programming (90-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 2 Geometry (51-XX) 2 Probability theory and stochastic processes (60-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.