|
|
Edinburgh Research Archive >
Browsing by Author Bundy, Alan
Showing results 56 to 73 of 73
| Issue Date | Title | Author(s) | Supervisor(s) | | 1993 | `Semantic procedure' is an oxymoron | Bundy, Alan | - |
| 2010 | A Single-Significant-Digit Calculus for Semi-Automated Guesstimation | Abourbih, J.A.; Blaney, L.; Bundy, Alan; McNeill, F. | - |
| 3-Feb-2011 | A Small Experiement in Event-b Rippling | Grov, Gudmund,; Bundy, Alan; Dixon, Lucas | - |
| 1979 | Solving Mechanics Problems Using Meta-Level Inference | Bundy, Alan; Byrd, L.; Luger, G.; Mellish, C.; Palmer, M. | - |
| 1982 | Solving Symbolic Equations with PRESS | Sterling, L.; Bundy, Alan; Byrd, L.; O'Keefe, R.; Silver, B. | - |
| 1987 | Special Purpose, but Domain Independent, Inference Mechanisms | Bundy, Alan; Byrd, L.; Mellish, C. | - |
| Oct-1994 | A Subsumption Architecture for Theorem Proving? | Bundy, Alan; Dennett, D. | - |
| Apr-1999 | A Survey of Automated Deduction | Bundy, Alan | - |
| 1991 | Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof | Wiggins, G. A.; Bundy, Alan; Kraan, I.; Hesketh, J. | - |
| 1990 | Turning Eureka Steps into Calculations in Automatic Program Synthesis | Bundy, Alan; Smaill, A.; Hesketh, J. | - |
| May-1988 | The Use of Explicit Plans to Guide Inductive Proofs | Bundy, Alan | - |
| Jul-1989 | The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling | Bundy, Alan; Muetzelfeldt, R.; Robertson, D.; Uschold, M. | - |
| 1992 | The Use of Proof Plans to Sum Series | Walsh, T.; Nunes, A.; Bundy, Alan | - |
| Jul-2005 | Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain | Winterstein, Daniel | Bundy, Alan; Gurr, Corin; Jamnik, Mateja |
| Jul-2000 | Using Expressive and Flexible Action Representations to Reason about Capabilties for Intelligent Agent Cooperation | Wickler, Gerhard | Tate, Austin; Bundy, Alan; Pryor, Louise; Richardson, Julian; Drabble, Brian |
| 2009 | Veriļ¬ed Planning by Deductive Synthesis in Intuitionistic Linear Logic | Dixon, L.; Bundy, Alan; Smaill, A. | - |
| Mar-1982 | What Is The Well-Dressed AI Educator Wearing Now? | Bundy, Alan | - |
| Apr-1978 | Will It Reach the Top? Prediction in the Mechanics World. | Bundy, Alan | - |
Showing results 56 to 73 of 73
|
