|
|
Edinburgh Research Archive >
Browsing by Author Bundy, Alan
Showing results 60 to 73 of 73
| Issue Date | Title | Author(s) | Supervisor(s) | | 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 60 to 73 of 73
|
