The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alan Bundy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alan Bundy, Bernard Silver, Dave Plummer
    An Analytical Comparison of Some Rule-Learning Programs. [Citation Graph (3, 0)][DBLP]
    Artif. Intell., 1985, v:27, n:2, pp:137-181 [Journal]
  2. Leon Sterling, Alan Bundy
    Meta-Level Inference and Program Verification. [Citation Graph (1, 0)][DBLP]
    CADE, 1982, pp:144-150 [Conf]
  3. Alan Bundy, Bob Welham
    Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1981, v:16, n:2, pp:189-212 [Journal]
  4. Alan Bundy
    Incidence Calculus: A Mechanism for Probabilistic Reasoning. [Citation Graph (1, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:3, pp:263-283 [Journal]
  5. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
    Computing Abstraction Hierarchies by Numerical Simulation. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:523-529 [Conf]
  6. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Invention of Integer Sequences. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:558-563 [Conf]
  7. Ian Frank, David A. Basin, Alan Bundy
    Combining Knowledge and Search to Solve Single-Suit Bridge. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:195-200 [Conf]
  8. Alan Bundy
    Proof Planning. [Citation Graph (0, 0)][DBLP]
    AIPS, 1996, pp:261-267 [Conf]
  9. Alan Bundy
    Planning and Patching Proof. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:26-37 [Conf]
  10. Paul Brna, Alan Bundy, Helen Pain
    A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:22-55 [Conf]
  11. Alan Bundy
    A Critique of Proof Planning. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:160-177 [Conf]
  12. Alan Bundy
    A Science of Reasoning. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:178-198 [Conf]
  13. Alan Bundy
    The Use of Proof Plans for Normalization. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:149-166 [Conf]
  14. Mateja Jamnik, Alan Bundy
    Psychological Validity of Schematic Proofs. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:321-341 [Conf]
  15. Moa Johansson, Alan Bundy, Lucas Dixon
    Best-First Rippling. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:83-100 [Conf]
  16. Alan Bundy
    The Use of Explicit Plans to Guide Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:111-120 [Conf]
  17. Alan Bundy
    A Science of Reasoning: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:633-640 [Conf]
  18. Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill
    The Oyster-Clam System. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:647-648 [Conf]
  19. Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
    Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:132-146 [Conf]
  20. Louise A. Dennis, Alan Bundy, Ian Green
    Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:276-290 [Conf]
  21. Alan Bundy, Bob Welham
    Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:24-38 [Conf]
  22. Jane Hesketh, Alan Bundy, Alan Smaill
    Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:310-324 [Conf]
  23. Dieter Hutter, Alan Bundy
    The Design of the CADE-16 Inductive Theorem Prover Contest. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:374-377 [Conf]
  24. Andrew Ireland, Alan Bundy
    Extensions to a Generalization Critic for Inductive Proof. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:47-61 [Conf]
  25. Predrag Janicic, Alan Bundy, Ian Green
    A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:127-141 [Conf]
  26. Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy
    System Description: An Interface Between CLAM and HOL. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:134-138 [Conf]
  27. Graham Steel, Alan Bundy, Monika Maidl
    Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:137-151 [Conf]
  28. Toby Walsh, Alex Nunes, Alan Bundy
    The Use of Proof Plans to Sum Series. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:325-339 [Conf]
  29. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    System Description: CyNTHIA. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:388-392 [Conf]
  30. Daniel Winterstein, Alan Bundy, Corin A. Gurr
    Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:331-335 [Conf]
  31. Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
    Deductive synthesis of workflows for e-Science. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2005, pp:168-175 [Conf]
  32. Steven Willmott, Julian Richardson, Alan Bundy, John Levine
    An Adversarial Planning Approach to Go. [Citation Graph (0, 0)][DBLP]
    Computers and Games, 1998, pp:93-112 [Conf]
  33. Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
    Using Animation in Diagrammatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2002, pp:46-60 [Conf]
  34. Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
    An Experimental Comparison of Diagrammatic and Algebraic Logics. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:432-434 [Conf]
  35. Daniel Winterstein, Alan Bundy, Mateja Jamnik
    A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2000, pp:286-299 [Conf]
  36. Daniel Winterstein, Alan Bundy, Mateja Jamnik
    On Differences between the Real and Physical Plane. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2004, pp:29-31 [Conf]
  37. Alan Bundy
    The Use of Proof Plans in Formal Methods. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:151-153 [Conf]
  38. Alan Bundy, Lawrence Byrd, Chris Mellish
    Special Purpose, but Domain Independent, Inference Mechanisms. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:67-74 [Conf]
  39. Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer
    Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:71-81 [Conf]
  40. Alan Bundy, George F. Luger, M. Stone, R. Welham
    MECHNO, Year one. [Citation Graph (0, 0)][DBLP]
    AISB (ECAI), 1976, pp:94-103 [Conf]
  41. Alan Bundy, Bernard Silver
    A Critical Survey of Rule Learning Programs. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:151-157 [Conf]
  42. Ian Frank, David A. Basin, Alan Bundy
    An Adaptation of Proof-Planning to Declarer Play in Bridge. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:72-76 [Conf]
  43. Raul Monroy, Alan Bundy, Ian Green
    Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:393-397 [Conf]
  44. Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy
    An Intelligent Front End for Ecological Modelling. [Citation Graph (0, 0)][DBLP]
    ECAI, 1984, pp:13-22 [Conf]
  45. Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin
    Coloured Rippling: An Extension of a Theorem Proving Heuristic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:85-89 [Conf]
  46. Weiru Liu, Alan Bundy, David Stuart Robertson
    Recovering Incedence Functions. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:241-248 [Conf]
  47. Weiru Liu, Alan Bundy, David Stuart Robertson
    On the Relations between Incidence Calculus and ATMS. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:249-256 [Conf]
  48. Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
    Solving Symbolic Equations with PRESS. [Citation Graph (0, 0)][DBLP]
    EUROCAM, 1982, pp:109-116 [Conf]
  49. Alan Bundy
    Incidence Calculus: A Mechanism for Probabilistic Reasoning. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:166-174 [Conf]
  50. Alan Bundy, Fiona McNeill, Chris Walton
    On Repairing Reasoning Reversals via Representational Refinements. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2006, pp:3-12 [Conf]
  51. Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin
    Experiments in Automating Hardware Verification Using Inductive Proof Planning. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:94-108 [Conf]
  52. Alan Bundy
    A Broader Interpretation of Logic in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1624-1648 [Conf]
  53. Ina Kraan, David A. Basin, Alan Bundy
    Middle-Out Reasoning for Logic Program Synthesis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:441-455 [Conf]
  54. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Identification of Mathematical Concepts. [Citation Graph (0, 0)][DBLP]
    ICML, 2000, pp:183-190 [Conf]
  55. Alan Borning, Alan Bundy
    Using Matching in Algebraic Equation Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:466-471 [Conf]
  56. Alan Bundy
    Doing Arithmetic with Diagrams. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:130-138 [Conf]
  57. Alan Bundy
    Analysing Mathematical Proofs (Or Reading Between the Lines). [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:22-28 [Conf]
  58. Alan Bundy
    Can Domain Specific Knowledge Be Generalized? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:496- [Conf]
  59. Alan Bundy
    Discovery and Reasoning in Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1221-1230 [Conf]
  60. Alan Bundy, Richard Clutterbuck
    Raising the Standards of AI Products. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1289-1294 [Conf]
  61. Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
    A Rational Reconstruction and Extension of Recursion Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:359-365 [Conf]
  62. Alan Bundy, Vincent Lombart
    Relational Rippling: A General Approach. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:175-181 [Conf]
  63. Alan Bundy, Bernard Silver
    Homogenization: Preparing Equations for Change of Unknown. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:551-553 [Conf]
  64. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Concept Formation in Pure Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:786-793 [Conf]
  65. Mateja Jamnik, Alan Bundy, Ian Green
    Automation of Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:528-533 [Conf]
  66. George F. Luger, Alan Bundy
    Representing Semantic Information In Pulley Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:500- [Conf]
  67. Alan Bundy
    Cooperating Reasoning Processes: More than Just the Sum of Their Parts. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2-11 [Conf]
  68. David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews
    A Framework for Program Development Based on Schematic Proof. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:162-171 [Conf]
  69. Alex Blewitt, Alan Bundy, Ian Stark
    Automatic verification of design patterns in Java. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:224-232 [Conf]
  70. Alex Blewitt, Alan Bundy, Ian Stark
    Automatic Verification of Java Design Patterns. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:324-327 [Conf]
  71. Raul Monroy, Alan Bundy, Ian Green
    Planning Equational Verification in CCS. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:43-52 [Conf]
  72. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    An ML Editor Based on Proofs-As-Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:166-173 [Conf]
  73. Ina Kraan, David A. Basin, Alan Bundy
    Logic Program Synthesis via Proof Planning. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:1-14 [Conf]
  74. Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
    A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:64-66 [Conf]
  75. Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh
    Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1991, pp:27-45 [Conf]
  76. Alan Bundy, Julian Richardson
    Proofs About Lists Using Ellipsis. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:1-12 [Conf]
  77. Jeremy Gow, Alan Bundy, Ian Green
    Extensions to the Estimation Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:258-272 [Conf]
  78. Alistair Manning, Andrew Ireland, Alan Bundy
    Incresing the Versatility of Heuristic Based Theorem Provers. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:194-204 [Conf]
  79. Raul Monroy, Alan Bundy, Andrew Ireland
    Proof Plans for the Correction of False Conjectures. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:54-68 [Conf]
  80. Alan Bundy
    Tutorial Notes: Reasoning about Logic Programs. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:252-277 [Conf]
  81. Raul Monroy, Alan Bundy, Ian Green
    Searching for a Solution to Program Verification=Equation Solving in CCS. [Citation Graph (0, 0)][DBLP]
    MICAI, 2000, pp:1-12 [Conf]
  82. Mary Angela Papalaskaris, Alan Bundy
    Topics for Circumscription. [Citation Graph (0, 0)][DBLP]
    NMR, 1984, pp:355-362 [Conf]
  83. Jon Whittle, Alan Bundy, Helen Lowe
    An Editor for Helping Novices to Learn Standard ML. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:389-405 [Conf]
  84. Alan Bundy
    A Science of Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:10-17 [Conf]
  85. Louise A. Dennis, Alan Bundy
    A Comparison of Two Proof Critics: Power vs. Robustness. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:182-197 [Conf]
  86. Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon
    An Interface between Clam and HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:87-104 [Conf]
  87. Roy L. McCasland, Alan Bundy
    MATHsAiD: A Mathematical Theorem Discovery Tool. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:17-22 [Conf]
  88. Alan Bundy
    Will it Reach the Top? Prediction in the Mechanics World. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1978, v:10, n:2, pp:129-146 [Journal]
  89. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
    Calculating Criticalities. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:88, n:1-2, pp:39-67 [Journal]
  90. Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
    Rippling: A Heuristic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:62, n:2, pp:185-253 [Journal]
  91. Frank van Harmelen, Alan Bundy
    Explanation-Based Generalisation = Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:36, n:3, pp:401-412 [Journal]
  92. Alan Bundy
    IJCAI Policy on Multiple Publication of Papers. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1988, v:1, n:4, pp:3-5 [Journal]
  93. Helen Lowe, Michal Pechoucek, Alan Bundy
    Proof planning for maintainable configuration systems. [Citation Graph (0, 0)][DBLP]
    AI EDAM, 1998, v:12, n:4, pp:345-356 [Journal]
  94. Alan Bundy
    What Is the Well-Dressed AI Educator Wearing Now? [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1981, v:3, n:1, pp:13-14 [Journal]
  95. Alan Bundy
    The Nature of AI: A Reply to Schank. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1983, v:4, n:4, pp:29-31 [Journal]
  96. Alan Bundy
    How to Get the Most Out of IJCAI-83. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1983, v:4, n:1, pp:35-36 [Journal]
  97. Alan Bundy
    IJCAI Policy Statement: IJCAI Policy on Multiple Publication of Papers. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1989, v:10, n:1, pp:73-75 [Journal]
  98. Alan Bundy
    AI Bridges and Dreams. [Citation Graph (0, 0)][DBLP]
    AI Soc., 1987, v:1, n:1, pp:62-71 [Journal]
  99. Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
    Automating the Synthesis of Decision Procedures in a Constructive Metatheory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:259-279 [Journal]
  100. Louise A. Dennis, Alan Bundy, Ian Green
    Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:99-138 [Journal]
  101. Weiru Liu, David McBryan, Alan Bundy
    The Method of Assigning Incidences. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 1998, v:9, n:2, pp:139-161 [Journal]
  102. Alan Bundy
    Desert Island Column. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:1, pp:91-92 [Journal]
  103. Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
    Lightweight Formalisation in Support of Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1998, v:5, n:2, pp:183-210 [Journal]
  104. Raul Monroy, Alan Bundy, Ian Green
    Planning Proofs of Equations in CCS. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:3, pp:263-304 [Journal]
  105. Alan Bundy
    Probability, truth, and logic: reply to Cheeseman. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1988, v:4, n:, pp:69-70 [Journal]
  106. Alan Bundy, Hector MacQueen
    The New Software Copyright Law. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1994, v:37, n:2, pp:79-82 [Journal]
  107. Alan Bundy
    A Very Mathematical Dilemma. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:4, pp:480-486 [Journal]
  108. Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
    Constructing Induction Rules for Deductive Synthesis Proofs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:3-21 [Journal]
  109. Roy L. McCasland, Alan Bundy, Patrick F. Smith
    Ascertaining Mathematical Theorems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:21-38 [Journal]
  110. Graham Steel, Alan Bundy
    Attacking Group Multicast Key Management Protocols Using Coral. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:125-144 [Journal]
  111. Alan Bundy, Fiona McNeill
    Representation as a Fluent: An AI Challenge for the Next Half Century. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2006, v:21, n:3, pp:85-87 [Journal]
  112. Jon Whittle, Alan Bundy, Richard J. Boulton
    Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:403-421 [Journal]
  113. R. G. McLean, Alan Bundy, Weiru Liu
    Assignment methods for incidence calculus. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1995, v:12, n:1, pp:21-41 [Journal]
  114. Weiru Liu, Alan Bundy
    Constructing probabilistic ATMSs using extended incidence calculus. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1996, v:15, n:2, pp:145-182 [Journal]
  115. Simon Colton, Alan Bundy, Toby Walsh
    On the notion of interestingness in automated mathematical discovery. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2000, v:53, n:3, pp:351-375 [Journal]
  116. Weiru Liu, Alan Bundy
    A comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1994, v:40, n:6, pp:1009-1032 [Journal]
  117. David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt
    The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface. [Citation Graph (0, 0)][DBLP]
    International Journal of Man-Machine Studies, 1989, v:31, n:1, pp:1-26 [Journal]
  118. Alan Bundy
    Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:2, pp:109-126 [Journal]
  119. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
    Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:19, n:3, pp:319-346 [Journal]
  120. Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
    Experiments with Proof Plans for Induction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:3, pp:303-324 [Journal]
  121. Alan Bundy, Leon Sterling
    Meta-Level Inference: Two Applications. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:1, pp:15-27 [Journal]
  122. Predrag Janicic, Alan Bundy
    A General Setting for Flexibly Combining and Augmenting Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:3, pp:257-305 [Journal]
  123. Ina Kraan, David A. Basin, Alan Bundy
    Middle-Out Reasoning for Synthesis and Induction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:16, n:1-2, pp:113-145 [Journal]
  124. Peter Madden, Alan Bundy, Alan Smaill
    Recursive Program Optimization Through Inductive Synthesis Proof Transformation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:22, n:1, pp:65-115 [Journal]
  125. Graham Steel, Alan Bundy
    Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:1-2, pp:149-176 [Journal]
  126. Andrew Ireland, Alan Bundy
    Automatic Verification of Functions with Accumulating Parameters. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:2, pp:225-245 [Journal]
  127. Mateja Jamnik, Alan Bundy, Ian Green
    On Automating Diagrammatic Proofs of Arithmetic Arguments. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:3, pp:297-321 [Journal]
  128. Helen Lowe, Alan Bundy, Duncan McLean
    The Use of Proof Planning for Co-operative Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:25, n:2, pp:239-261 [Journal]
  129. Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
    Solving Symbolic Equations with PRESS. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:7, n:1, pp:71-84 [Journal]
  130. Alan Bundy
    Die Geschichte der Mechanisierung der Logik in der KI (Interview). [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:99-101 [Journal]
  131. Steven Willmott, Julian Richardson, Alan Bundy, John Levine
    Applying adversarial planning techniques to Go. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:252, n:1-2, pp:45-82 [Journal]
  132. Predrag Janicic, Alan Bundy
    Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:80-93 [Conf]
  133. Alan Bundy
    AI Bridges and Dreams. [Citation Graph (0, 0)][DBLP]
    AI Soc., 2007, v:21, n:4, pp:659-668 [Journal]
  134. Fiona McNeill, Alan Bundy
    Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution. [Citation Graph (0, 0)][DBLP]
    Int. J. Semantic Web Inf. Syst., 2007, v:3, n:3, pp:1-35 [Journal]

  135. Automating Signature Evolution in Logical Theories. [Citation Graph (, )][DBLP]


  136. A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. [Citation Graph (, )][DBLP]


  137. Towards Ontology Evolution in Physics. [Citation Graph (, )][DBLP]


  138. Case-Analysis for Rippling and Inductive Proof. [Citation Graph (, )][DBLP]


Search in 0.166secs, Finished in 0.170secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002