• Michael P. Georgeff and Amy L. Lansky. A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle. Technical Note 375, 1986.
• Michael P. Georgeff and Amy L. Lansky. Procedural Knowledge. In Proceedings of the IEEE, volume 74, pages 1383–1398, 1986. (doi:10.1109/PROC.1986.13639)
• M.P. Georgeff and a.L. Lansky. Reactive reasoning and planning. Proceedings of the sixth national conference on artificial intelligence (AAAI-87), pages 677–682, 1987.
• Michael P. Georgeff, Amy L. Lansky, and Marcel J. Schoppers. Reasoning and Planning in Dynamic Domains: An Experiment with a Mobile Robot. Technical Note 380, 1987.
• Michael P. Georgeff and Francois Felix Ingrand. Decision-Making in an Embedded Reasoning System. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), 1989.
• Michael P. Georgeff and Francois Felix Ingrand. Decision-Making in an Embedded Reasoning System. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), volume 2, 1989.
• Michael P. Georgeff and François Félix Ingrand. Monitoring and Control of Spacecraft Systems Using Procedural Reasoning. In Proceedings of the Space Operations Automation and Robotics Workshop, pages 209–218, 1989.
• David E. Wilkins and Karen L. Myers. Integrating planning and reactive control. In Proceedings of the NASA/JPL Conference on Space Telerobotics, 1989.
• Michael Georgeff and Félix Ingrand. Real-time reasoning: The monitoring and control of spacecraft systems. In Proceedings of the Sixth Conference on Artificial Intelligence Applications, pages 198–204, 1990. (doi:10.1109/CAIA.1990.89190)
• F. Ingrand and M. Georgeff. Managing Deliberation and Reasoning in Real-Time AI Systems. In Proceedings of DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, 1990.
• Anand S. Rao and Michael P. George. Intelligent Real-Time Network Management. In Proceedings of the Tenth International Conference on AI, Expert Systems and Natural Language, 1991.
• Francois F. Ingrand, Michael P. Georgeff, and Anand S. Rao. An architecture for real-time reasoning and system control. IEEE Expert-Intelligent Systems and their Applications, 7(6):34–44, 1992. (doi:10.1109/64.180407)
• Francois F. Ingrand, Michael P. Georgeff, and Anand S. Rao. An architecture for real-time reasoning and system control. IEEE Expert-Intelligent Systems and their Applications, 7(6):34–44, 1992. (doi:10.1109/64.180407)
• David Kinny, Michael Georgeff, and James Hendler. Experiments in Optimal Sensing for Situated Agents. In Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence, 1992.
• Magnus Ljungberg and Andrew Lucas. The OASIS Air Traffic Management System. In Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence PRICAI 92, 1992.
• Francois Felix Ingrand and Vianney Coutance. Real-Time Reasoning using Procedural Reasoning. Technical Report 93-104, 1993.
• Anand Rao, Andrew Lucas, and David Morley. Agent-Oriented Architecture for Air Combat Simulation. Technical Note 42, 1993.
• Jaeho Lee, J. Marcus Huber, Edmund H. Durfee, and Patrick G. Kenny. UM-PRS: An implementation of the procedural reasoning system for multirobot applications. In Proceedings of the Conference on Intelligent Robotics in Field, Factory, Service, and Space, pages 842–849, 1994. (doi:10.1017/CBO9781107415324.004)
• Anand S. Rao and Michael P. Georgeff. BDI agents: From theory to practice. In Proceedings of the First International Conference on Multiagent Systems, pages 312–319, 1995. (doi:10.1.1.51.9247)
• David E. Wilkins and Karen L. Myers. A common knowledge representation for plan generation and reactive execution. Journal of Logic and Computation, 5(6):731–761, 1995. (doi:10.1093/logcom/5.6.731)
• David E. Wilkins, Karen L. Myers, John D. Lowrance, and Leonard P. Wesley. Planning and reacting in uncertain and dynamic environments. Journal of Experimental and Theoretical Artificial Intelligence, 7(1):121–152, 1995. (doi:10.1080/09528139508953802)
• F. Ingrand, R. Chatila, R. Alami, and F. Robert. PRS: High Level Supervision and Control Language for Autonomous Mobile Robots. In Proceedings of the 1096 IEEE International Conference on Robotics and Automation, pages 43–49, 1996. (doi:10.1109/ROBOT.1996.503571)
• Karen L. Myers. A Procedural Knowledge Approach to Task-level Control. In Proceedings of International Conference on Artificial Intelligence Planning, 1996.
• Karen L. Myers. Strategic Advice for Hierarchical Planners. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning, 1996.
• Guy Taylor and Lin Padgham. An Intelligent Believable Agent Environment. AAAI Technical Report WS-96-03, 1996.
• David E. Wilkins and Karen L. Myers. Asynchronous Dynamic Replanning in a Multiagent Planning Architecture. In Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative, pages 267–274, 1996.
• Karen L. Myers. Procedural Reasoning System User's Guide. A Manual for Version 2.0. 1997.
• Mark D'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A Formal Specification of dMARS. In Intelligent Agents IV Agent Theories, Architectures, and Languages, pages 155–176, 1998. (doi:10.1007/BFb0026757)
• Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, and Michael Wooldridge. The Belief-Desire-Intention Model of Agency. In International Workshop on Agent Theories, Architectures, and Languages, 1998. (doi:10.1007/3-540-49057-4_1)
• Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, and Michael Wooldridge. The Belief-Desire-Intention Model of Agency. In International Workshop on Agent Theories, Architectures, and Languages, 1998. (doi:10.1007/3-540-49057-4_1)
• K L Myers. Towards a framework for continuous planning and execution. Proceedings of the AAAI Fall Symposium on Distributed Continual Planning, pages 63–69, 1998.
• Karen L. Myers and David E. Wilkins. Reasoning about Locations in Theory and Practice. Computational Intelligence, 14(2):scheduled to appear, 1998. (doi:10.1111/0824-7935.00059)
• Anand S. Rao and Michael P. Georgeff. Decision Procedures for BDI Logics. Journal of Logic and Computation, 8(3):293–342, 1998. (doi:10.1093/logcom/8.3.293)
• Reid Simmons and David Apfelbaum. A Task Description Language for Robot Control. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1931–1937, 1998.
• Karen L. Myers. Jfacc Continuous Planning and. Final Technical Report AFRL-IF-RS-TR-2000-121, 2000.
• Felix Ingrand and Olivier Despouys. Extending Procedural Reasoning to ward Robot Actions Planning: Operational Procedures Representa ­ tion. In Proceedings of the 2001 IEEE International Conference on Robotics & Automation, 2001.
• Karen L. Myers and David N. Morley. Human directability of agents. In K-CAP 2001: Proceedings of the First International Conference on Knowledge Capture, 2001. (doi:10.1145/500742.500756)
• K L Myers and D N Morley. Conflict management for agent guidance. In Proceedings of the International Conference on Autonomous Agents, pages 1041–1042, 2002. (doi:10.1145/545058.545067)
• Karen L. Myers and David N. Morley. Resolving Conflicts in Agent Guidance. In Preferences in AI and CP: Symbolic Approaches, 2002.
• Karen L. Myers, David L. Martin, and David N. Morley. Taskable Reactive Agent Communities. Final Technical Report AFRL-IF-RS-TR-2002-208, 2002.
• Wayne Wobcke. Modelling PRS-Like Agents' Mental States. pages 138–147, 2002.
• Michael Luck and Mark D'Inverno. Unifying agent systems. Annals of Mathematics and Artificial Intelligence, 37(1-2):131–167, 2003. (doi:10.1023/A:1020273205131)
• Karen L. Myers and David N. Morley. Policy-based Agent Directability. In Adjustable Autonomy, pages 185–209. Springer US, 2003.
• Mark D'Inverno, Michael Luck, Michael Georgeff, David Kinny, and Michael Wooldridge. The dMARS architecture: A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems, 9(1-2):5–53, 2004. (doi:10.1023/B:AGNT.0000019688.11109.19)
• David Morley and Karen Myers. Balancing Formal and Practical Concerns in Agent Design. In AAAI Workshop on Intelligent Agent Architectures: Combining the Strengths of Software Engineering and Cognitive Systems, 2004.