18 found
Order:
  1. Explanation-based generalisation = partial evaluation.Frank van Harmelen & Alan Bundy - 1988 - Artificial Intelligence 36 (3):401-412.
  2.  28
    On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
    Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3. An analytical comparison of some rule-learning programs.Alan Bundy, Bernard Silver & Dave Plummer - 1985 - Artificial Intelligence 27 (2):137-181.
  4.  47
    Preparing for the future of Artificial Intelligence.Alan Bundy - 2017 - AI and Society 32 (2):285-287.
  5.  1
    Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation.Alan Bundy & Bob Welham - 1981 - Artificial Intelligence 16 (2):189-211.
  6. Rippling: A heuristic for guiding inductive proofs.Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland & Alan Smaill - 1993 - Artificial Intelligence 62 (2):185-253.
  7. Will it reach the top? Prediction in the mechanics world.Alan Bundy - 1978 - Artificial Intelligence 10 (2):129-146.
  8.  90
    AI Bridges and dreams.Alan Bundy - 1987 - AI and Society 1 (1):62-71.
  9. Edinburgh University, Edinburgh EH1 2QL, UK.Alan Bundy - 1986 - In A. G. Cohn & J. R. Thomas (eds.), Artificial Intelligence and its Applications. John Wiley and Sons. pp. 51.
     
    Export citation  
     
    Bookmark  
  10. On the Nature of Mathematical Judgement Reply to Penrose.Alan Bundy & Roger Penrose - 1990 - Edinburgh University.
     
    Export citation  
     
    Bookmark  
  11. Reprint of “Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011”.Alan Bundy - 2013 - Artificial Intelligence 199:122-123.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. The Synthesis of Logic Programs From Inductive Proofs.Alan Bundy, Smaill & Geraint A. Wiggins - 1990 - Department of Artificial Intelligence, University of Edinburgh.
     
    Export citation  
     
    Bookmark  
  13.  27
    Reasoning about Representations in Autonomous Systems: What Pόlya and Lakatos Have to Say.Alan Bundy - 2012 - In David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind. Palgrave-Macmillan. pp. 167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  14
    On differences between the real and physical plane.Daniel Winterstein, Alan Bundy & Mateja Jamnik - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 29--31.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  22
    Leaky virtual machines and the best of both worlds.Alan Bundy - 1998 - Behavioral and Brain Sciences 21 (5):632-633.
    The concept of virtual machine allows us to combine the dynamical and computational hypotheses in an investigation of cognition. Van Gelder explicitly rejects this approach, but not only does it allow us to use the modelling technique most appropriate to the task, it also opens up a new range of phenomena where these techniques interact.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    “Semantic procedure” is an oxymoron.Alan Bundy - 1993 - Behavioral and Brain Sciences 16 (2):339-340.
  17.  7
    AI Bridges and Dreams.Alan Bundy - 2007 - AI and Society 21 (4):659-668.
  18.  22
    What is the difference between real creativity and mere novelty?Alan Bundy - 1994 - Behavioral and Brain Sciences 17 (3):533-534.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation