|
|
Edinburgh Research Archive >
Search Results
Results 21-30 of 78.
Item hits:
| Issue Date | Title | Author(s) | Supervisor(s) | | 2010 | Formalising Term Synthesis for Isacosy | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 1999 | Automatic Concept Formation in Pure Mathematics | Colton, Simon; Bundy, Alan; Walsh, Toby | - |
| Jul-1998 | Proof Planning Coinduction | Dennis, Louise | Bundy, Alan; Green, Ian |
| Jul-1997 | Planning Proofs of Correctness of CCS Systems | Monroy-Borja, Raul | Bundy, Alan; Hesketh, Jane; Green, Ian; Ireland, Andrew |
| Dec-2003 | Plan Execution Failure Analysis Using Plan Deconstruction | McNeill, F.; Bundy, Alan; Walton, Ch.; Schorlemmer, Marco | - |
| 1987 | Special Purpose, but Domain Independent, Inference Mechanisms | Bundy, Alan; Byrd, L.; Mellish, C. | - |
| 1982 | Solving Symbolic Equations with PRESS | Sterling, L.; Bundy, Alan; Byrd, L.; O'Keefe, R.; Silver, B. | - |
| Mar-1991 | A Recursive Techniques Editor for Prolog | Bundy, Alan; Grosse, G.; Brna, P. | - |
| Jul-2004 | Diagnosing and Repairing Ontological Mismatches | McNeill, F.; Bundy, Alan; Walton, Ch. | - |
| 1985 | Raising the Standard of AI Products | Bundy, Alan; Clutterbuck, R. | - |
previous
1
2
3
4
5
6
7
8
next
|
