|
|
Edinburgh Research Archive >
Search Results
Results 31-40 of 78.
Item hits:
| Issue Date | Title | Author(s) | Supervisor(s) | | Oct-2003 | Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL | Steel, G.; Maidl, M.; Bundy, Alan | - |
| 1985 | Incidence Calculus: A Mechanism for Probabilistic Reasoning | Bundy, Alan | - |
| 16-Aug-2010 | Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics | Lehmann, J.; Bundy, Alan; Chan, M. | - |
| 1994 | Proof Plans for the Correction of False Conjectures | Bundy, Alan; Monroy, Raul; Ireland, Andrew | - |
| Jul-1987 | AI Bridges and Dreams | Bundy, Alan | - |
| Mar-1982 | What Is The Well-Dressed AI Educator Wearing Now? | Bundy, Alan | - |
| 1979 | Solving Mechanics Problems Using Meta-Level Inference | Bundy, Alan; Byrd, L.; Luger, G.; Mellish, C.; Palmer, M. | - |
| Apr-1978 | Will It Reach the Top? Prediction in the Mechanics World. | Bundy, Alan | - |
| May-2005 | Deductive Synthesis of Workflows for E-Science | Alan, Bundy; Yang, B.; Smaill, A.; Dixon, L. | - |
| 2009 | Isacosy: Synthesis of Inductive Theorems | Dixon, Lucas; Bundy, Alan; Johansson, Moa | - |
previous
1
2
3
4
5
6
7
8
next
|
