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