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

Cached

Download Links

by Nicola Muscettola , P. Pandurang Nayak , Barney Pell , Brian C. Williams
Citations:188 - 16 self

Documents Related by Co-Citation

948 Constraint Networks – Rina Dechter - 1992
141 HSTS: Integrating planning and scheduling – N Muscettola - 1994
42 Design of the Remote Agent Experiment for Spacecraft Autonomy – Douglas E. Bernard, Gregory A. Dorais, Chuck Fry, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, Urang Nayak, Barney Pell, Kanna Rajan, Nicolas Rouquette, Benjamin Smith, et al.
43 Fast Transformation of Temporal Plans for Efficient Execution – Ioannis Tsamardinos, Nicola Muscettola - 1998
202 A Model-based Approach to Reactive Self-Configuring Systems – Brian C. Williams, P. Pandurang Nayak, Urang Nayak - 1996
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
50 Handling contingency in temporal constraint networks: from consistency to controllabilities – Thierry Vidal, Helene Fargier - 1999
87 Dynamic control of plans with temporal uncertainty – P Morris, N Muscettola, T Vidal - 2001
10 Next generation Remote Agent planner РAri K. Jónsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan - 1999
284 Experiences with an Architecture for Intelligent, Reactive Agents – R. Peter Bonasso, R. James Firby , Erann Gat , David Kortenkamp, David P. Miller , Marc G. Slack
264 The complexity of some polynomial network consistency algorithms for constraint satisfaction problems – A Mackworth, E Freuder - 1985
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
31 Representing Plans as a Set of Constraints - the I-N-OVA Model – Austin Tate - 1996
1737 STRIPS: A new approach to the application of theorem proving to problem solving. Arti cial Intelligence 2:189{208 – R Fikes, N J Nilsson - 1971
4 Veri of autonomous spacecraft control | a logical vision of the future – M Fisher, W Visser - 2002
53 Engineering AgentSpeak(L): A Formal Computational Model – Mark d'Inverno, Michael Luck - 1998
72 Formal Analysis of a Space Craft Controller using SPIN – Klaus Havelund, Mike Lowry, John Penix - 1998
69 A model-theoretic approach to the verification of situated reasoning systems – A S Rao, M P Georgeff - 1993