{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:40:07Z","timestamp":1747464007664,"version":"3.40.5"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autonomous Agents and Multi-Agent Systems"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1010018821724","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T00:56:42Z","timestamp":1040605002000},"page":"7-22","source":"Crossref","is-referenced-by-count":1,"title":["A Hybrid Procedural\/Deductive Executive for Autonomous Spacecraft"],"prefix":"10.1007","volume":"2","author":[{"given":"Barney","family":"Pell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward B.","family":"Gamble","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erann","family":"Gat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ron","family":"Keesing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kurien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Millar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Plaunt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian C.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"200346_CR1","volume-title":"Proceedings of the IEEE Aerospace Conference","author":"D.E. Bernard","year":"1998","unstructured":"D.E. Bernard, G.A. Dorais, G. A.; C. Fry, E.B.G. Jr., B. Kanefsky, J. Kurien, W. Millar, N. Muscettola, P.P. Nayak, B. Pell, K. Rajan, N. Rouquette, B. Smith and B.C. Williams. \u201cDesign of the remote agent experiment for spacecraft autonomy.\u201d In Proceedings of the IEEE Aerospace Conference. Snowmass, CO: IEEE, 1998."},{"key":"200346_CR2","doi-asserted-by":"crossref","unstructured":"R.P. Bonasso, D. Kortenkamp, D. Miller and M. Slack. \u201cExperiences with an architecture for intelligent, reactive agents.\u201d JETAI, Vol. 9\u20131, 1997.","DOI":"10.1080\/095281397147103"},{"key":"200346_CR3","unstructured":"G. Brown, D. Bernard, D. and R. Rasmussen. \u201cAttitude and articulation control for the cassini spacecraft: A fault tolerance overview.\u201d In 14th AIAA\/IEEE Digital Avionics Systems Conference, 1995."},{"key":"200346_CR4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer-Verlag: Berlin, Germany, 1981."},{"key":"200346_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(91)90024-E","volume":"52\u20131","author":"K. Currie","year":"1991","unstructured":"K. Currie and A. Tate. \u201cO-plan: the open planning architecture.\u201d Art. Int., Vol. 52\u20131, pp. 49-86, 1991.","journal-title":"Art. Int."},{"key":"200346_CR6","unstructured":"G. de Giacomo, Y. Lesperance and H. Levesque. \u201cReasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus.\u201d In Procs. of IJCAI-97, pp. 1221-1226, 1997."},{"key":"200346_CR7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32\u20131","author":"J. de Kleer","year":"1987","unstructured":"J. de Kleer and B.C. Williams. \u201cDiagnosing multiple faults.\u201d Artificial Intelligence, Vol. 32\u20131, pp. 97-130, 1987. Reprinted in [18].","journal-title":"Artificial Intelligence"},{"key":"200346_CR8","unstructured":"J. de Kleer and B.C. Williams. \u201cDiagnosis with behavioral modes.\u201d In Proceedings of IJCAI-89, pp. 1324-1330, 1989. Reprinted in [18]."},{"key":"200346_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Estlin, S.A. Chien and X. Wang. \u201cAn argument for a hybrid HTN\/operator-based approach to planning.\u201d In Procs. of the Fourth European Conference on Planning, 1997.","DOI":"10.1007\/3-540-63912-8_85"},{"key":"200346_CR10","unstructured":"I.A. Ferguson. \u201cTouring Machines: An Architecture for Dynamic, Rational, Mobile Agents.\u201d Ph.D. Dissertation, Computer Laboratory, University of Cambridge, 1992."},{"key":"200346_CR11","unstructured":"R.J. Firby \u201cAdaptive execution in complex dynamic worlds.\u201d Ph.D. Dissertation, Yale University, 1978."},{"key":"200346_CR12","unstructured":"M. Freed and R. Remington. \u201cManaging decision resources in plan execution.\u201d In Procs. of IJCAI-97, pp. 322-326, 1997."},{"key":"200346_CR13","doi-asserted-by":"crossref","unstructured":"E. Gat. \u201cESL: A language for supporting robust plan execution in embedded autonomous agents.\u201d In Procs. of the AAAI Fall Symposium on Plan Execution. AAAI Press, 1996.","DOI":"10.1109\/AERO.1997.574422"},{"key":"200346_CR14","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"M.R. Genesereth and N.J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann: Los Altos, CA, 1987."},{"key":"200346_CR15","unstructured":"M.P. Georgeff and A.L. Lansky. \u201cA system for reasoning in dynamic domains: Fault diagnosis on the space shuttle.\u201d Technical Note 375, Artificial Intelligence Center, SRI International, 1986."},{"key":"200346_CR16","unstructured":"M.P. Georgeff and A.L. Lansky. \u201cProcedural knowledge.\u201d Technical Report 411, Artificial Intelligence Center, SRI International, 1987."},{"key":"200346_CR17","unstructured":"M.P. Georgeff, A.L. Lansky and M.J. Schoppers. \u201cReasoning and planning in dynamic domains: An experiment with a mobile robot.\u201d Technical Report 380, Artificial Intelligence Center, SRI International, 1987."},{"key":"200346_CR18","volume-title":"Readings in Model-Based Diagnosis","author":"W. Hamscher","year":"1992","unstructured":"W. Hamscher, L. Console, L. and J. de Kleer. Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992."},{"key":"200346_CR19","doi-asserted-by":"crossref","unstructured":"B. Hayes-Roth. \u201cAn architecture for adaptive intelligent systems.\u201d Art. Int., Vol. 72, 1995.","DOI":"10.1016\/0004-3702(94)00004-K"},{"key":"200346_CR20","unstructured":"F.F. Ingrand and M.P. Georgeff. \u201cManaging deliberation and reasoning in real-time ai systems.\u201d In Procs. DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, pp. 284-291, 1990."},{"key":"200346_CR21","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"H. Levesque, R. Reiter, Y. Lesperance, F. Lin and R. Scherl. \u201cGolog: A logic programming language for dynamic domains.\u201d Journal of Logic Programming, Vol. 31, pp. 59-84, 1997.","journal-title":"Journal of Logic Programming"},{"key":"200346_CR22","unstructured":"D. McDermott. \u201cA reactive plan language.\u201d Technical report, Computer Science Dept, Yale University, 1993."},{"key":"200346_CR23","first-page":"25","volume":"3\u20131","author":"J. Muller","year":"1994","unstructured":"J. Muller and M. Pischel. \u201cAn architecture for dynamically interacting agents.\u201d Int. Journal of Intelligent and Cooperative Information Systems Vol. 3\u20131, pp. 25-45, 1994.","journal-title":"Int. Journal of Intelligent and Cooperative Information Systems"},{"key":"200346_CR24","unstructured":"N. Muscettola. \u201cHSTS: Integrating planning and scheduling.\u201d In Intelligent Scheduling (M. Fox and M. Zweben M., eds.). Morgan Kaufmann, 1994."},{"key":"200346_CR25","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/122344.122373","volume":"2\u20134","author":"G.H. Ogasawara","year":"1991","unstructured":"G.H. Ogasawara. \u201cA distributed, decision-theoretic control system for a mobile robot.\u201d ACM SIGART Bulletin, Vol. 2\u20134, pp. 140-145, 1991.","journal-title":"ACM SIGART Bulletin"},{"key":"200346_CR26","doi-asserted-by":"crossref","unstructured":"B. Pell, D.E. Bernard, S.A. Chien, E. Gat, N. Muscettola, P.P. Nayak, M.D. Wagner and B.C. Williams. \u201cAn autonomous spacecraft agent prototype.\u201d In Proceedings of the First Int'l Conference on Autonomous Agents (W.L. Johnson, ed.). ACM Press, pp. 253-261, 1997a.","DOI":"10.1145\/267658.267724"},{"key":"200346_CR27","doi-asserted-by":"crossref","unstructured":"B. Pell, E. Gat, R. Keesing, N. Muscettola and B. Smith. \u201cRobust periodic planning and execution for autonomous spacecraft.\u201d In Procs. of IJCAI-97, 1997b.","DOI":"10.1145\/267658.267724"},{"key":"200346_CR28","doi-asserted-by":"crossref","unstructured":"B. Pell, D.E. Bernard, S.A. Chien, E. Gat, N. Muscettola, P.P. Nayak, M.D. Wagner and B.C. Williams. An autonomous spacecraft agent prototype. Autonomous Robotics, Vol. 5\u20131, 1998.","DOI":"10.1023\/A:1008860925034"},{"key":"200346_CR29","volume-title":"Foundations of Rational Agency","author":"J.L. Pollock","year":"1998","unstructured":"J.L. Pollock. \u201cPlanning agents.\u201d In Foundations of Rational Agency (A. Rao and M. Wooldridge, eds.). Boston, MA: Kluwer Academic Publishers, 1998."},{"key":"200346_CR30","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0004-3702(94)00018-V","volume":"73\u20132","author":"M. Schoppers","year":"1995","unstructured":"M. Schoppers. \u201cThe use of dynamics in an intelligent controller for a space faring rescue robot.\u201d Artificial Intelligence, Vol. 73\u20132, pp. 175-230, 1995.","journal-title":"Artificial Intelligence"},{"key":"200346_CR31","unstructured":"R. Simmons. \u201cAn architecture for coordinating planning, sensing, and action.\u201d In Procs. DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, pp. 292-297, 1990."},{"key":"200346_CR32","first-page":"197","volume":"7\u20131","author":"D.E. Wilkins","year":"1995","unstructured":"D.E. Wilkins, K.L. Myers, J.D. Lowrance, and L.P. Wesley. \u201cPlanning and reacting in uncertain and dynamic environments.\u201d JETAI, Vol. 7\u20131, pp. 197-227, 1995.","journal-title":"JETAI"},{"key":"200346_CR33","first-page":"971","volume-title":"Procs. of AAAI-96","author":"B.C. Williams","year":"1996","unstructured":"B.C. Williams and P.P. Nayak. \u201cA model-based approach to reactive self-configuring systems.\u201d In Procs. of AAAI-96, pp. 971-978. Cambridge, Mass.: AAAI, 1996."},{"key":"200346_CR34","unstructured":"B.C. Williams and P.P. Nayak. \u201cA reactive planner for a model-based executive.\u201d In Procs. of IJCAI-97, 1997."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010018821724.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010018821724\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010018821724.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:04:52Z","timestamp":1747461892000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010018821724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["200346"],"URL":"https:\/\/doi.org\/10.1023\/a:1010018821724","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"type":"print","value":"1387-2532"},{"type":"electronic","value":"1573-7454"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}