 | 1998 |
|---|
| 6 |       | Robert Smith,
Andrew Stevens,
Andy Frost,
Penny Probert:
Developing a sensor-based underwater navigation system.
Int. J. Systems Science 29(10): 1145-1155 (1998) |
| 1995 |
|---|
| 5 |  | Andrew Stevens,
Michael Stevens,
Hugh F. Durrant-Whyte:
"OxNav": Reliable Autonomous Navigation.
ICRA 1995: 2607-2612 |
| 4 | | Michael Stevens,
Andrew Stevens,
Hugh F. Durrant-Whyte:
Robust Vehicle Navigation.
ISER 1995: 355-362 |
| 1993 |
|---|
| 3 | | Alan Bundy,
Andrew Stevens,
Frank van Harmelen,
Andrew Ireland,
Alan Smaill:
Rippling: A Heuristic for Guiding Inductive Proofs.
Artif. Intell. 62(2): 185-253 (1993) |
| 1989 |
|---|
| 2 | | Alan Bundy,
Frank van Harmelen,
Jane Hesketh,
Alan Smaill,
Andrew Stevens:
A Rational Reconstruction and Extension of Recursion Analysis.
IJCAI 1989: 359-365 |
| 1988 |
|---|
| 1 | | Andrew Stevens:
A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas.
ECAI 1988: 565-570 |
