|
|
Edinburgh Research Archive >
Browsing by Author Bundy, Alan
Showing results 38 to 57 of 73
| Issue Date | Title | Author(s) | Supervisor(s) | | 1999 | Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts | Dennis, Louise; Bundy, Alan; Green, Ian | - |
| 1984 | Meta-level Inference and Consciousness | Bundy, Alan | - |
| Mar-1994 | The New Software Copyright Law | Bundy, Alan; MacQueen, H. | - |
| Jun-2009 | On Process Equivalence = Equation Solving in CCS | Bundy, Alan; Monroy, Raul; Green, Ian | - |
| 1989 | On the efficiency of meta-level inference | Harmelen, Frank van | Reichgelt, Han; Bundy, Alan |
| Dec-2003 | Plan Execution Failure Analysis Using Plan Deconstruction | McNeill, F.; Bundy, Alan; Walton, Ch.; Schorlemmer, Marco | - |
| Jul-1997 | Planning Proofs of Correctness of CCS Systems | Monroy-Borja, Raul | Bundy, Alan; Hesketh, Jane; Green, Ian; Ireland, Andrew |
| Jul-1998 | Proof Planning Coinduction | Dennis, Louise | Bundy, Alan; Green, Ian |
| Jul-1997 | Proof Planning for Automating Hardware Verification | Cantu-Ortiz, Francisco Javier | Bundy, Alan; Smaill, Alan; Basin, David |
| 1994 | Proof Plans for the Correction of False Conjectures | Bundy, Alan; Monroy, Raul; Ireland, Andrew | - |
| Sep-1999 | Proofs About Lists Using Ellipsis | Bundy, Alan; Richardson, Julian | - |
| 16-Aug-2010 | Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics | Lehmann, J.; Bundy, Alan; Chan, M. | - |
| 1985 | Raising the Standard of AI Products | Bundy, Alan; Clutterbuck, R. | - |
| Mar-1991 | A Recursive Techniques Editor for Prolog | Bundy, Alan; Grosse, G.; Brna, P. | - |
| 1977 | Representing Semantic Information In Pulley Problems | Bundy, Alan; Luger, G. | - |
| Aug-1993 | Rippling: A Heuristic for Guiding Inductive Proofs | Bundy, Alan; Stevens, A.; van Harmelen, F.; Ireland, A.; Smaill, A. | - |
| 2010 | Scheme-Based Synthesis of Inductive Theories | Montano-Rivas, O.; McCasland, R.; Dixon, L.; Bundy, Alan | - |
| 25-Jun-2012 | Scheme-based theorem discovery and concept invention | Montano-Rivas, Omar | McCasland, Roy; Bundy, Alan; Dixon, Lucas |
| 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. | - |
Showing results 38 to 57 of 73
|
