The Remote Agent Executive Capabilities to Support Integrated Robotic Agents
暂无分享,去创建一个
Richard Washington | Gregory A. Dorais | Barney Pell | Christian Plaunt | fpell gadorais | plaunt richwg
[1] Erann Gat,et al. Robust Periodic Planning and Execution for Autonomous Spacecraft , 1997, IJCAI.
[2] Erann Gat,et al. An Autonomous Spacecraft Agent Prototype , 1997, AGENTS '97.
[3] Michael R. Lowry,et al. Verification and Validation of AI Systems that Control Deep-Space Spacecraft , 1997, ISMIS.
[4] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[5] Robert James Firby,et al. Adaptive execution in complex dynamic worlds , 1989 .
[6] John Penix,et al. Declarative specification of software architectures , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.
[7] Reid Simmons,et al. Visualization Tools for Validating Software of Autonomous Spacecraft , 1999 .
[8] ProcessingDavid J. Musliner. Contract-based Distributed Scheduling for Distributed Processing , 1997 .
[9] Erann Gat,et al. ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.
[10] 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.
[11] Michael R. Lowry,et al. Formal Analysis of a Space-Craft Controller Using SPIN , 2001, IEEE Trans. Software Eng..
[12] Erann Gat,et al. Abstract resource management in an unconstrained plan execution system , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).
[13] Steven W. Mitchell,et al. A Hybrid Architecture for Real-Time Mixed-Initiative Planning and Control , 1997, AAAI/IAAI.
[14] Nicola Muscettola,et al. Automating Mission Scheduling for Space-Based Observatories , 1998 .
[15] Austin Tate,et al. O-plan project evaluation experiments and results , 1996 .
[16] Nicola Muscettola,et al. Issues in temporal reasoning for autonomous control systems , 1998, AGENTS '98.
[17] Jane T. Malin,et al. Functional modeling with goal-oriented activities for analysis of effects of failures on functions and operations , 1991 .
[18] Will Edgington,et al. Operation Closed-Loop Observation Scheduling and Execution , 1996 .
[19] P. Pandurang Nayak,et al. Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..
[20] Michael Wooldridge,et al. Proceedings of the second international conference on Autonomous agents , 1998 .
[21] Drew McDermott,et al. A reactive plan language , 1991 .
[22] Austin Tate,et al. Synthesizing Protection Monitors from Causal Structure , 1994, AIPS.
[23] P. Pandurang Nayak,et al. A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.
[24] John D. Lowrance,et al. Planning and reacting in uncertain and dynamic environments , 1995, J. Exp. Theor. Artif. Intell..
[25] Nicola Muscettola,et al. Mission operations with an autonomous agent , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).
[26] David J. Musliner,et al. CIRCA: a cooperative intelligent real-time control architecture , 1993, IEEE Trans. Syst. Man Cybern..
[27] Austin Tate,et al. O-Plan: The open Planning Architecture , 1991, Artif. Intell..
[28] Jörg P. Müller,et al. An Architecture for Dynamically Interacting Agents , 1994, Int. J. Cooperative Inf. Syst..
[29] Robert D. Rasmussen,et al. The Cassini spacecraft: Object oriented flight control software , 1993 .
[30] David P. Miller,et al. Experiences with an architecture for intelligent, reactive agents , 1995, J. Exp. Theor. Artif. Intell..
[31] M.P. Georgeff,et al. Procedural knowledge , 1986, Proceedings of the IEEE.
[32] Nicola Muscettola,et al. Design of the Remote Agent experiment for spacecraft autonomy , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).