Bibliography: (BibTex format)

Research Overview.

Selected Journal Articles, Conference papers and tech reports.


Richard Goodwin ``Meta-Level Control for Decision-Theoretic Planners, Thesis, available as "CMU-CS-96-186", School of Computer Science, Carnegie Mellon University, Pittsburgh PA. USA''
  • Abstract
  • Postscript (175 pages)
  • Postscript without pictures (Picture on page 82 crashes some postscript interpreters.)

  • Richard Goodwin ``Using Loops in Decision-Theoretic Refinement Planners, In "Proceedings of the Third International Conference on Artificial Intelligence Planning Systems", (ed Drabble, B.), The AAAI Press, Menlo Park, CA., USA, May 1996, ISBN 0-929280-97-0. , Edinburgh Scotland May 1996''
  • Abstract
  • Postscript (7 pages, 35K)

  • Richard Goodwin ``A Formal Specification of Agent Properties'', Journal of Logic and Computation, Volume 5, Issue 6..
  • Abstract
  • Postscript (20 pages, 147K)

  • Sven Koenig, Richard Goodwin and Reid Simmons ``Robot Navigation with Markov Models: A Framework for Path Planning and Learning with Limited Computational Resources, In Proceedings of the International Workshop on Reasoning with Uncertainty in Robotics '', Amsterdam, The Netherlands, Dec. 1995. To Appear.
  • Abstract
  • Title Page (1 pages, 5K)
  • Body Pages (15 pages, 176K)

  • Peter Haddawy, AnHai Doan and Richard Goodwin ``Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis, In Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence, (UAI-95)'', pages 229-236, Montreal Canada, Aug. 1995.
  • Abstract
  • Postscript (8 pages, 314K)
  • On Line Proceedings

  • Richard Goodwin ``Thesis Proposal, Unpublished.
  • Abstract
  • Postscript (22 page, 310K)

  • Richard Goodwin ``Reasoning about When to Start Acting'', In Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS-94), Chicago Illinois, June 1994.
  • Abstract
  • Postscript (6 pages, 92K)

  • Richard Goodwin ``Reasoning About What to Plan'', In Student Abstract, Proceedings of the Twelfth National Conference on Artificial Intelligence, Seattle, Washington, Aug. 1994.
  • Abstract
  • Postscript (1 page, 16K)

  • Richard Goodwin ``A Formal Specification of Agent Properties'', CMU technical report CMU-CS-93-159, May 1993.
  • Abstract
  • (CMU-CS-93-159) Postscript (52 pages, 274K)

  • Richard Goodwin and Reid Simmons ``Rational Handling of Multiple Goals for Mobile Robots'', In Proceedings of the First International Conference on Artificial Intelligence Planning Systems (AIPS-92), June 1992, College Park, MD.
  • Abstract
  • Postscript (8 pages, 36K)

  • Richard Goodwin and Reid Simmons ``Rational Handling of Multiple Goals for Mobile Robots'', CMU technical report CMU-CS-93-204, Oct. 1993.
  • Abstract
  • (CMU-CS-93-204) Postscript (16 pages, 264K)