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