Year |
Citation |
Score |
2017 |
McCasland RL, Bundy A, Smith PF. MATHsAiD: Automated mathematical theory exploration Applied Intelligence. 47: 585-606. DOI: 10.1007/S10489-017-0954-8 |
0.356 |
|
2016 |
Raggi D, Bundy A, Grov G, Pease A. Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version) Mathematics in Computer Science. 10: 429-457. DOI: 10.1007/S11786-016-0275-Z |
0.354 |
|
2015 |
Bundy A, Sasnauskas G, Chan M. Solving guesstimation problems using the Semantic Web: Four lessons from an application Semantic Web. 6: 197-210. DOI: 10.3233/Sw-130127 |
0.31 |
|
2013 |
Bundy A. The interaction of representation and reasoning. Proceedings. Mathematical, Physical, and Engineering Sciences / the Royal Society. 469: 20130194. PMID 24062623 DOI: 10.1098/Rspa.2013.0194 |
0.363 |
|
2013 |
Lehmann J, Chan M, Bundy A. A Higher Order Approach to Ontology Evolution in Physics Journal On Data Semantics. 2: 163-187. DOI: 10.1007/S13740-012-0016-7 |
0.342 |
|
2012 |
Lehmann J, José Varzinczak I, Bundy A. Reasoning with context in the semantic web Journal of Web Semantics. 12: 1-2. DOI: 10.1016/J.Websem.2011.12.004 |
0.323 |
|
2012 |
Montano-Rivas O, McCasland R, Dixon L, Bundy A. Scheme-based theorem discovery and concept invention Expert Systems With Applications. 39: 1637-1646. DOI: 10.1016/J.Eswa.2011.06.055 |
0.345 |
|
2011 |
Johansson M, Dixon L, Bundy A. Conjecture synthesis for inductive theories Journal of Automated Reasoning. 47: 251-289. DOI: 10.1007/S10817-010-9193-Y |
0.334 |
|
2011 |
Bundy A. Automated theorem provers: A practical tool for the working mathematician? Annals of Mathematics and Artificial Intelligence. 61: 3-14. DOI: 10.1007/S10472-011-9248-8 |
0.326 |
|
2009 |
Monroy R, Bundy A, Green I. On Process Equivalence = Equation Solving in CCS Journal of Automated Reasoning. 43: 53-80. DOI: 10.1007/S10817-009-9125-X |
0.301 |
|
2006 |
Bundy A, McNeill F. Representation as a fluent: An AI challenge fer the next half century Ieee Intelligent Systems. 21: 85-87. DOI: 10.1109/Mis.2006.56 |
0.332 |
|
2006 |
McCasland RL, Bundy A, Smith PF. Ascertaining Mathematical Theorems Electronic Notes in Theoretical Computer Science. 151: 21-38. DOI: 10.1016/J.Entcs.2005.11.021 |
0.34 |
|
2006 |
Bundy A, Dixon L, Gow J, Fleuriot J. Constructing Induction Rules for Deductive Synthesis Proofs Electronic Notes in Theoretical Computer Science. 153: 3-21. DOI: 10.1016/J.Entcs.2005.08.003 |
0.339 |
|
2006 |
Johansson M, Bundy A, Dixon L. Best-First rippling Lecture Notes in Computer Science. 83-100. DOI: 10.1007/11829263_5 |
0.346 |
|
2005 |
Bundy A, Jamnik M, Fugard A. What is a proof? Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 363: 2377-88; discussion . PMID 16188611 DOI: 10.1098/Rsta.2005.1651 |
0.352 |
|
2004 |
Winterstein D, Bundy A, Gurr CA, Jamnik M. An Experimental Comparison of Diagrammatic and Algebraic Logics Lecture Notes in Computer Science. 432-434. DOI: 10.1007/978-3-540-25931-2_57 |
0.314 |
|
2002 |
Whittle J, Bundy A, Boulton R. Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor Formal Aspects of Computing. 13: 403-421. DOI: 10.1007/S001650200019 |
0.314 |
|
2002 |
Winterstein D, Bundy A, Gurr CA, Jamnik M. Using Animation in Diagrammatic Theorem Proving Lecture Notes in Computer Science. 46-60. DOI: 10.1007/3-540-46037-3_5 |
0.369 |
|
2001 |
Dennis LA, Bundy A, Green I. Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts Annals of Mathematics and Artificial Intelligence. 29: 99-138. DOI: 10.1023/A:1018940332714 |
0.378 |
|
2001 |
Willmott S, Richardson J, Bundy A. Applying adversarial planning techniques to go Theoretical Computer Science. 252: 45-82. DOI: 10.1016/S0304-3975(00)00076-1 |
0.309 |
|
2000 |
Winterstein D, Bundy A, Jamnik M. A Proposal for Automating Diagrammatic Reasoning in Continuous Domains Lecture Notes in Computer Science. 286-299. DOI: 10.1007/3-540-44590-0_26 |
0.366 |
|
2000 |
Colton S, Bundy A, Walsh T. On the notion of interestingness in automated mathematical discovery International Journal of Human-Computer Studies \/ International Journal of Man-Machine Studies. 53: 351-375. DOI: 10.1006/Ijhc.2000.0394 |
0.354 |
|
1999 |
Jamnik M, Bundy A, Green I. On Automating Diagrammatic Proofs of Arithmetic Arguments Journal of Logic, Language and Information. 8: 297-321. DOI: 10.1023/A:1008323427489 |
0.373 |
|
1999 |
Ireland A, Bundy A. Automatic verification of functions with accumulating parameters Journal of Functional Programming. 9: 225-245. DOI: 10.1017/S0956796899003408 |
0.332 |
|
1998 |
Armando A, Gallagher J, Smaill A, Bundy A. Automating the synthesis of decision procedures in a constructive metatheory Annals of Mathematics and Artificial Intelligence. 22: 259-279. DOI: 10.1023/A:1018943603394 |
0.324 |
|
1998 |
Liu W, McBryan D, Bundy A. The Method of Assigning Incidences Applied Intelligence. 9: 139-161. DOI: 10.1023/A:1008216002832 |
0.318 |
|
1998 |
Lowe H, Pechoucek M, Bundy A. Proof planning for maintainable configuration systems Ai Edam Artificial Intelligence For Engineering Design, Analysis and Manufacturing. 12: 345-356. DOI: 10.1017/S0890060498124071 |
0.317 |
|
1998 |
Lowe H, Bundy A, McLean D. The Use of Proof Planning for Co-operative Theorem Proving Journal of Symbolic Computation. 25: 239-261. DOI: 10.1006/Jsco.1997.0174 |
0.351 |
|
1997 |
Bundy A, Giunchiglia F, Villafiorita A, Walsh T. Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem Journal of Automated Reasoning. 19: 319-346. DOI: 10.1023/A:1005877613942 |
0.341 |
|
1996 |
Kraan I, Basin DA, Bundy A. Middle-out reasoning for synthesis and induction Journal of Automated Reasoning. 16: 113-145. DOI: 10.1007/Bf00244461 |
0.315 |
|
1996 |
Ireland A, Bundy A. Productive Use of Failure in Inductive Proof Journal of Automated Reasoning. 16: 79-111. DOI: 10.1007/Bf00244460 |
0.316 |
|
1995 |
McLean RG, Bundy A, Liu W. Assignment methods for incidence calculus International Journal of Approximate Reasoning. 12: 21-41. DOI: 10.1016/0888-613X(94)00013-S |
0.339 |
|
1994 |
Bundy A. A subsumption architecture for theorem proving Philosophical Transactions of the Royal Society A. 349: 71-85. DOI: 10.1098/Rsta.1994.0114 |
0.353 |
|
1993 |
Bundy A, Stevens A, Harmelen Fv, Ireland A, Smaill A. Rippling: a heuristic for guiding inductive proofs Artificial Intelligence. 62: 185-253. DOI: 10.1016/0004-3702(93)90079-Q |
0.353 |
|
1991 |
Bundy A, Harmelen FV, Hesketh J, Smaill A. Experiments with proof plans for induction Journal of Automated Reasoning. 7: 303-324. DOI: 10.1007/Bf00249016 |
0.359 |
|
1991 |
Brna P, Brayshaw M, Bundy A, Elsom-Cook M, Fung P, Dodd T. An Overview of Prolog Debugging Tools Instructional Science. 20: 193-214. DOI: 10.1007/Bf00120882 |
0.315 |
|
1991 |
Bundy A, Grosse G, Brna P. A recursive techniques editor for Prolog Instructional Science. 20: 135-172. DOI: 10.1007/Bf00120880 |
0.305 |
|
1991 |
Brna P, Bundy A, Dodd T, Eisenstadt M, Looi CK, Pain H, Robertson D, Smith B, van Someren M. Prolog programming techniques Instructional Science. 20: 111-133. DOI: 10.1007/Bf00120879 |
0.32 |
|
1989 |
Muetzelfeldt R, Robertson D, Bundy A, Uschold M. The use of prolog for improving the rigour and accessibility of ecological modelling Ecological Modelling. 46: 9-34. DOI: 10.1016/0304-3800(89)90067-7 |
0.334 |
|
1989 |
Robertson D, Bundy A, Uschold M, Muetzelfeldt R. The ECO program construction system: ways of increasing its representational power and their effects on the user interface International Journal of Human-Computer Studies \/ International Journal of Man-Machine Studies. 31: 1-26. DOI: 10.1016/0020-7373(89)90030-8 |
0.35 |
|
1988 |
Harmelen FV, Bundy A. Explanation-based generalisation = partial evaluation Artificial Intelligence. 36: 401-412. DOI: 10.1016/0004-3702(88)90088-4 |
0.314 |
|
1988 |
Bundy A, Sterling L. Meta-level inference: Two applications Journal of Automated Reasoning. 4: 15-27. DOI: 10.1007/Bf00244511 |
0.352 |
|
1985 |
Bundy A. Incidence calculus: A mechanism for probabilistic reasoning Journal of Automated Reasoning. 1: 263-283. DOI: 10.1007/Bf00244272 |
0.316 |
|
1981 |
Bundy A, Welham B. Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation Artificial Intelligence. 16: 189-211. DOI: 10.1016/0004-3702(81)90010-2 |
0.349 |
|
Show low-probability matches. |