Search the dblp DataBase
Andrew Stevens :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Andrew Stevens A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. [Citation Graph (0, 0)][DBLP ] ECAI, 1988, pp:565-570 [Conf ] Andrew Stevens , Michael Stevens , Hugh F. Durrant-Whyte "OxNav": Reliable Autonomous Navigation. [Citation Graph (0, 0)][DBLP ] ICRA, 1995, pp:2607-2612 [Conf ] Alan Bundy , Frank van Harmelen , Jane Hesketh , Alan Smaill , Andrew Stevens A Rational Reconstruction and Extension of Recursion Analysis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1989, pp:359-365 [Conf ] Michael Stevens , Andrew Stevens , Hugh F. Durrant-Whyte Robust Vehicle Navigation. [Citation Graph (0, 0)][DBLP ] ISER, 1995, pp:355-362 [Conf ] Alan Bundy , Andrew Stevens , Frank van Harmelen , Andrew Ireland , Alan Smaill Rippling: A Heuristic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:62, n:2, pp:185-253 [Journal ] Search in 0.001secs, Finished in 0.001secs