MRG: BUILDING PLANNERS FOR REAL-WORLD COMPLEX APPLICATIONS

REFERENCES

• Agree , P. ,D. Chapman., 1987 . Pengi An implementation of a theory of activity. In Proc. of the 6th national conference on artificial intelligence , 268 – 72 , Seattle , WA .
   Google Scholar
• Armando , A. ,E. Giunchiglia., 1993 . Embedding complex decision procedures inside an interactive theorem prover. Second international symposium on artificial intelligence and mathematics. Annals of Artificial Intelligence and Mathematics 8 ( 3–4 ) 475 – 502 .
   Google Scholar
• Beetz , M. ,D. McDermott., 1992 . Declarative goals in reactive plans. In Artificial intelligence planning systems Proc. of 1st international conference , 3 – 12 . Edited by J. Hendler. San Mateo , Calif. Morgan Kaufmann .
   Google Scholar
• Brooks , R. A. , 1986 . A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation RA- 2 ( 1 ) 14 – 23 .
   Google Scholar
• Cimatti , A. P. Traverso , S. Dalbosco ,A. Armando., 1992 . Navigation by combining reactivity and planning. Proc. intelligent vehicles '92. Trento , Italy IRST Technical Report 9205 – 11 .
   Google Scholar
• Durfee , E. H. ,V. R. Lesser., 1986 . Incremental planning to control a blackboard-based problem solver. In Proc. of the 5th national conference on artificial intelligence , Philadelphia , PA .
   Google Scholar
• Fikes , R. E. ,N. I. Nilsson., 1971 . STRIPS A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 ( 3 – 4 ) 189 – 208 .
   Web of Science ®Google Scholar
• Firby , R. J. , 1987 . An investigation into reactive planning in complex domains. In Proc. of the 6th national conference on artificial intelligence. 202 – 206 , Seattle , WA .
   Google Scholar
• Firby , R. J. , 1992 . Building symbolic primitives with continuous control routines. In Artificial intelligence planning systems Proc. of 1st international conference , 62 – 69 . Edited by J. Hendler , San Mateo , Calif. Morgan Kaufmann .
   Google Scholar
• Georgeff , M. , 1989 . An embedded reasoning and planning system. In Proc. from the Rochester planning workshop From formal systems to practical systems , 105 – 28 . Edited by J. Tenenberg. J. Weber, and J. Allen , Rochester , NY .
   Google Scholar
• Georgeff , M. P. , 1991 . Situated reasoning and rational behaviour. Carlton , Victoria , Australia Australian AI Institute Technical Report 21 .
   Google Scholar
• Georgeff , M. ,A. L. Lansky., 1987 . Reactive reasoning and planning. In Proc. of the 6th national conference on artificial intelligence , 677 – 82 , Seattle , WA .
   Google Scholar
• Georgeff , M. P. ,A. L. Lansky., 1987 . Procedural knowledge. MenloPark , Calif. Artificial Intelligence Center , SRI International Technical Report 411 .
   Google Scholar
• Giunchiglia , F. , and P. Traverse , 1991 . Reflective reasoning with and between a declarative metatheory and the implementation code. Proc. of the 12th international joint conference on artificial intelligence , pp 111 – 17 . Trento , Italy IRST Technical Report 9012-03 .
   Google Scholar
• Giunchiglia , F. , 1992 . the GETFL manual—GETFOL version 1. Genoa , Italy DIST University of Genoa , Technical Report 9204-01 .
   Google Scholar
• Giunchiglia , F. , and P. Traverse , 1992 . A metatheory of a mechanized object theory. Trento , Italy IRSTTechnical Report 9211-24 .
   Google Scholar
• Giunchiglia , F. ,P. Traverso., 1993 . Program tactics and logic tactics. Trento , Italy IRST Technical Report 9301-01 .
   Google Scholar
• Giunchiglia , F. , P. Traverso , A. Cimatti ,L. Spalazzi., 1991 . Tactics Extending the notion of plan. ECAI-92 Workshop Beyond Sequential Planning. Trento , Italy IRSTTechnical Report 9112-19 .
   Google Scholar
• Gordon , M. J. , A. J. Milner , C. P. Wadsworth , 1979 . Edinburgh LCF—A mechanised logic of computation , Vol. 78 of Lecture notes in computer science. New York Springer Verlag .
   Google Scholar
• Hammond , K. J. , 1990 , Explaining and repairing plans that fail. Artificial Intelligence 45 ( 1–2 ) 173 – 228 .
   Web of Science ®Google Scholar
• Hanks , S. ,R. J. Firby., 1990 . Issues and architectures for planning and execution. InProceedings of the workshop on innovative approaches to planning, scheduling and control. 59 – 70 .
   Google Scholar
• Hayes-Roth , B. , 1985 . A blackboard architecture for control. Artificial Intelligence 26 251 – 321 .
   Web of Science ®Google Scholar
• Kaelbling , L. P. 1987 . An architecture for intelligent reactive systems. In Reasoning about actions and plans Proceedings of the 1986 workshop. San Mateo , Calif. Morgan-Kaufmann .
   Google Scholar
• Laird , J. E. A. Newell , P. S. Rosenbloom , 1987 . Soar An architecture for genera] intelligence. Artificial, Intelligence 33 ( 3 ) 1 – 64 .
   Web of Science ®Google Scholar
• Russel , S. and E. Wefald , 1989 . Principles of metareasoning. Paper presented at first international conference on,principles of knowledge representation and reasoning .
   Google Scholar
• Schoppers , M. J. , 1987 . Universal plans for reactive robots in unpredictable environments. In Proc. of the 10th international joint conference on artificial intelligence , 1039 – 46 .
   Google Scholar
• Simmons , R. , 1990 . An architecture for coordinating planning, sensing and action. In Proceedings of the workshop on innovative approaches to planning, scheduling and control , 292 – 297 .
   Google Scholar
• Simmons , R. , 1991 . Concurrent planning and execution for a walking robot. In Proc. IEEE international conference on robotics and automation , 2086 – 91 .
   Google Scholar
• Simmons , R. , 1991 . Coordinating planning, perception and action for mobile robots. SIGARTBulletin 2 ( 4 ) 156 – 59 .
   Google Scholar
• Spalazzi , L. , A. Cimatti ,P. Traverso., 1992 . Implementing planning as tactical reasoning. In Proc. AIS '92, Al simulation and planning in high autonomy systems conference , 80 – 85 . New York IEEE Computer Society Press. ( Revised version of Technical Report 9104-23 , IRST , Trento . Italy .)
   Google Scholar
• Stefik , M. J. , 1981 . Planning and meta-planning. Artificial Intelligence 16 141 – 69 .
   Web of Science ®Google Scholar
• Stringa , L. , 1990 . An integrated approach to artificial intelligence. Trento. Italy IRST Technical Report 9012-11 .
   Google Scholar
• Swartout , W. , 1988 . DARPA Santa Cruz workshop on planning—Workshop report. Al Magazine 9 ( 2 ) 15 – 30 .
   Web of Science ®Google Scholar
• Traverso , P. , A. Cimatti ,L. Spalazzi., 1992 . Beyond the single planning paradigm Introspective planningl Proceedings ECAI-92 , 643 – 17 . Trento , Italy IRST Technical Report 9204-05 .
   Google Scholar
• Wilensky , R. , 1979 . Meta-planning Representing and using knowledge about planning in problem solving and natural language Understanding. In Readings in cognitive science A perspective from psychology and artificial intelligence. Edited by A. Collins and E. Smith. San Mateo , Calif. Morgan Kaufmann .
   Google Scholar
• Wilkins , D. E. , 1988 . Practical planning Extending the classical Al planning paradigm. San Mateo , Calif , Morgan Kaufmann .
   Google Scholar