Order:
Disambiguations
Alan Bundy [21]A. Bundy [5]Alex Bundy [3]Albert L. Bundy [2]
See also
Profile: Alex Bundy (University of California at Santa Barbara)
  1.  78
    On “Epistemic Permissiveness”.Anthony Brueckner & Alex Bundy - 2012 - Synthese 188 (2):165-177.
    In "Epistemic Permissiveness", Roger White presents several arguments against Extreme Permissivism, the view that there are possible cases where, given one's total evidence, it would be rational to either believe P, or to believe ~P. In this paper, we carefully reconstruct White's arguments and then argue that they do not succeed.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  2.  17
    Preparing for the Future of Artificial Intelligence.Alan Bundy - 2017 - AI and Society 32 (2):285-287.
  3.  14
    On Epistemic Abstemiousness: A Reply to Aikin, Harbour, Neufeld, and Talisse.Alex Bundy - 2011 - Logos and Episteme 2 (4):619-624.
    The principle of suspension says that when you disagree with an epistemic peer about p, you should suspend judgment about p. In “Epistemic Abstainers, Epistemic Martyrs, and Epistemic Converts,” Scott F. Aikin, Michael Harbour, Jonathan Neufeld, and Robert B. Talisse argue against the principle of suspension. In “In Defense of Epistemic Abstemiousness” I presented arguments that their arguments do not succeed, and in “On Epistemic Abstemiousness: A Reply to Bundy” they argue that my arguments are not successful. I here clarify (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  79
    AI Bridges and Dreams.Alan Bundy - 1987 - AI and Society 1 (1):62-71.
  5.  13
    What is the Difference Between Real Creativity and Mere Novelty?Alan Bundy - 1994 - Behavioral and Brain Sciences 17 (3):533-534.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  12
    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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  15
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  40
    What Kind of Field is AI?A. Bundy - 1990 - In Derek Partridge & Y. Wilks (eds.), The Foundations of Artificial Intelligence: A Sourcebook. Cambridge University Press.
  9.  10
    Index of Authors of Volume 8.B. Aldag, G. Antoniou, T. Aoto, P. Blackburn, K. Britz, M. Brown, A. Bundy, R. Cox, M. De Rijke & S. Demri - 1999 - Journal of Logic, Language, and Information 8 (485):485.
  10.  5
    AI Bridges and Dreams.Alan Bundy - 2007 - AI and Society 21 (4):659-668.
  11.  2
    In Defense of Epistemic Abstemiousness.Alex Bundy - 2011 - Logos and Episteme 2 (2):287-292.
    The principle of suspension says that when you disagree with an epistemic peer about p, you should suspend judgment about p. In “Epistemic Abstainers, Epistemic Martyrs, and Epistemic Converts,” Scott F. Aikin, Michael Harbour, Jonathan Neufeld, and Robert B. Talisse argue against the principle of suspension, claiming that it “is deeply at odds with how we view ourselves as cognitive agents.” I argue that their arguments do not succeed.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  8
    A Note on Omitting the Replacement Schema.A. Bundy - 1973 - Notre Dame Journal of Formal Logic 14 (1):118-120.
  13.  2
    Royal Society/British Academy" Artificial Intelligence and The Mind: New Breakthroughs or Dead Ends?A. Bundy & R. M. Needham - 1994 - Mind 103.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  3
    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  
     
    My bibliography  
  15.  3
    “Semantic Procedure” is an Oxymoron.Alan Bundy - 1993 - Behavioral and Brain Sciences 16 (2):339.
  16.  4
    The Lawyer's Perspective on the Use of Ultrasound in Obstetrics and Gynecology.Albert L. Bundy & A. Everette James - 1985 - Journal of Law, Medicine & Ethics 13 (5):219-224.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  18. 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  
     
    My bibliography  
  19. On the Nature of Mathematical Judgement Reply to Penrose.Alan Bundy & Roger Penrose - 1990 - Edinburgh University.
     
    Export citation  
     
    My bibliography  
  20. REVIEWS-Rippling: Meta-Level Guidance for Mathematical Reasoning.A. Bundy, D. Basin, D. Hutter, A. Ireland & Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-498.
  21. The Lawyer's Perspective on the Use of Ultrasound in Obstetrics and Gynecology.Albert L. Bundy & A. Everette James - 1985 - Journal of Law, Medicine and Ethics 13 (5):219-224.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. The Synthesis of Logic Programs From Inductive Proofs.Alan Bundy, Smaill & Geraint A. Wiggins - 1990 - Department of Artificial Intelligence, University of Edinburgh.
     
    Export citation  
     
    My bibliography