Remote Agent: To Boldly Go Where No AI System Has Gone Before

[1]  Michael Shao,et al.  Space Interferometry Mission , 1997, Astronomical Telescopes and Instrumentation.

[2]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[3]  Steve Chien,et al.  On Board Planning for Autonomous Spacecraft , 1999 .

[4]  Nicola Muscettola,et al.  Fast Transformation of Temporal Plans for Efficient Execution , 1998, AAAI/IAAI.

[5]  Nicola Muscettola,et al.  Reformulating Temporal Plans for Efficient Execution , 1998, KR.

[6]  Michael Wooldridge,et al.  Proceedings of the second international conference on Autonomous agents , 1998 .

[7]  E. Gamble,et al.  A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft , 1998, International Conference on Autonomous Agents.

[8]  Nicola Muscettola,et al.  Issues in temporal reasoning for autonomous control systems , 1998, AGENTS '98.

[9]  S. Dallas.  Space Interferometry Mission , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[10]  T.T. Nguyen,et al.  Experiences with operations and autonomy of the Mars Pathfinder Microrover , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[11]  Rick Cook.  Mars Pathfinder mission operations: faster, better, cheaper on Mars , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[12]  G. Hubbard.  Lunar Prospector: developing a very low cost planetary mission , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[13]  Erann Gat,et al.  Abstract resource management in an unconstrained plan execution system , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[14]  G. K. Man,et al.  Infusion of autonomy technology into space missions: DS1 lessons learned , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[15]  Nicola Muscettola,et al.  Design of the Remote Agent experiment for spacecraft autonomy , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[16]  Nicola Muscettola,et al.  Mission operations with an autonomous agent , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[17]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .

[18]  Tara A. Estlin,et al.  An Argument for a Hybrid HTN/Operator-Based Approach to Planning , 1997, ECP.

[19]  Erann Gat,et al.  Robust Periodic Planning and Execution for Autonomous Spacecraft , 1997, IJCAI.

[20]  P. Pandurang Nayak,et al.  Fast Context Switching in Real-Time Propositional Reasoning , 1997, AAAI/IAAI.

[21]  David Kortenkamp,et al.  Using a Robot Control Arc itecture to Automate Space Shuttle Operations* , 1999 .

[22]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[23]  Erann Gat,et al.  An Autonomous Spacecraft Agent Prototype , 1997, AGENTS '97.

[24]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

[25]  R. Zare,et al.  Search for Past Life on Mars: Possible Relic Biogenic Activity in Martian Meteorite ALH84001 , 1996, Science.

[26]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[27]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[28]  Steve A. Chien,et al.  Automating Image Processing for Scientific Data Analysis of a Large Image Database , 1996, IEEE Trans. Pattern Anal. Mach. Intell..

[29]  P. Pandurang Nayak,et al.  Immobile Robots AI in the New Millennium , 1996, AI Mag..

[30]  Hector J. Levesque,et al.  Generating Hard Satisfiability Problems , 1996, Artif. Intell..

[31]  G. M. Brown,et al.  Attitude and articulation control for the Cassini spacecraft: a fault tolerance overview , 1995, Proceedings of 14th Digital Avionics Systems Conference.

[32]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[33]  H. Levesque,et al.  Generating Hard Satis ability Problems ? , 1995 .

[34]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[35]  Peter Struss,et al.  Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice , 1994, ECAI.

[36]  Mark S. Boddy,et al.  Deliberation Scheduling for Problem Solving in Time-Constrained Environments , 1994, Artif. Intell..

[37]  Jörg P. Müller,et al.  An Architecture for Dynamically Interacting Agents , 1994, Int. J. Cooperative Inf. Syst..

[38]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

[39]  David J. Musliner,et al.  CIRCA: a cooperative intelligent real-time control architecture , 1993, IEEE Trans. Syst. Man Cybern..

[40]  Melvin D. Montemerlo.  The AI program at the National Aeronautics & Space Administration: lessons learned during the first seven years , 1992 .

[41]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[42]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[43]  Elisha Sacks,et al.  PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS , 1992, Comput. Intell..

[44]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[45]  Melvin D. Montemerlo,et al.  The AI Program at the NASA - Lessons Learned During the First Seven Years , 1992, The AI Magazine.

[46]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[47]  Walter Hamscher,et al.  Modeling Digital Circuits for Troubleshooting , 1991, Artif. Intell..

[48]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[49]  Johan de Kleer.  Focusing on Probable Diagnoses , 1991, AAAI.

[50]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[51]  Drew McDermott,et al.  A reactive plan language , 1991 .

[52]  Adam Farquhar,et al.  Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS , 1990, Truth Maintenance Systems.

[53]  Johan de Kleer,et al.  Exploiting Locality in a TMS , 1990, AAAI.

[54]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[55]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[56]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[57]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[58]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[59]  Kenneth D. Forbus,et al.  Focusing the ATMS , 1988, AAAI.

[60]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

[61]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[62]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[63]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[64]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[65]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[66]  Brian C. Williams,et al.  Reasoning about Multiple Faults , 1986, AAAI.

[67]  Johan de Kleer,et al.  Choices Without Backtracking , 1984, AAAI.

[68]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[69]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[70]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[71]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[72]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.