Search the dblp DataBase

Publications of Author

1. Benjamin D. Smith, Paul S. Rosenbloom
   Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces. [Citation Graph (0, 0)][DBLP]
   AAAI, 1990, pp:848-853 [Conf]
   
2. Nicola Muscettola, Paul H. Morris, Barney Pell, Benjamin D. Smith
   Issues in Temporal Reasoning for Autonomous Control Systems. [Citation Graph (0, 0)][DBLP]
   Agents, 1998, pp:362-368 [Conf]
   
3. Ari K. Jónsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, Benjamin D. Smith
   Planning in Interplanetary Space: Theory and Practice. [Citation Graph (0, 0)][DBLP]
   AIPS, 2000, pp:177-186 [Conf]
   
4. Benjamin D. Smith, Martin S. Feather, Nicola Muscettola
   Challenges and Methods in Testing the Remote Agent Planner. [Citation Graph (0, 0)][DBLP]
   AIPS, 2000, pp:254-263 [Conf]
   
5. Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung
   Remote Agent: An Autonomous Control System for the New Millennium. [Citation Graph (0, 0)][DBLP]
   ECAI, 2000, pp:726-730 [Conf]
   
6. Benjamin D. Smith, Kanna Rajan, Nicola Muscettola
   Knowledge Acquisition for the Onboard Planner of an Autonomous Spacecraft. [Citation Graph (0, 0)][DBLP]
   EKAW, 1997, pp:253-268 [Conf]
   
7. Benjamin D. Smith, Barbara E. Engelhardt, Darren H. Mutz
   The RadarSAT-MAMM Automated Mission Planner. [Citation Graph (0, 0)][DBLP]
   IAAI, 2001, pp:35-42 [Conf]
   
8. Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, Benjamin D. Smith
   Robust Periodic Planning and Execution for Autonomous Spacecraft. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1997, pp:1234-1239 [Conf]
   
9. Martin S. Feather, Benjamin D. Smith
   Automatic Generation of Test Oracles-From Pilot Studies to Application. [Citation Graph (0, 0)][DBLP]
   ASE, 1999, pp:63-72 [Conf]
   
10. Benjamin D. Smith, Barbara E. Engelhardt, Darren H. Mutz
    The RADARSAT-MAMM Automated Mission Planner. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:2, pp:25-36 [Journal]
    
11. Martin S. Feather, Benjamin D. Smith
    Automatic Generation of Test Oracles-From Pilot Studies to Application. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:1, pp:31-61 [Journal]
    
12. Steve A. Chien, Nicola Muscettola, Kanna Rajan, Benjamin D. Smith, Gregg Rabideau
    Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 1998, v:13, n:5, pp:50-55 [Journal]