Implementing a planner from formal definitions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementing a planner from formal definitions

Full text

Pdf (449 KB)

Source

ACM Southeast Regional Conference archive
Proceedings of the 36th annual Southeast regional conference table of contents

Pages: 95 - 98

Year of Publication: 1998

ISBN:1-58113-030-9

Author

Tarik Vance-Harris

Computer Science Department, Xavier University of Louisiana, New Orleans, LA

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 5, Citation Count: 0

Additional Information:

references index terms

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/275295.275310 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Kutluhan Erol, James Hendler, and Dana S. Natl. UMCP: A sound and complete procedure for hierarchical task network planning. In Hammond {AIPS94}, pages 249- 254, 1994.
	2	Richard E. Fikes and Nils J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving, reprinted in Readings in Planning, 50-54, James Allen, ed. 1990.
	3	R. Raymond Lang, A formal model for simple narratives, Tulane University, New Orleans, LA, 1997
	4	Carthy:69} John McCarthy and Patrick Hayes, Some philosophical problems from the standpoint of artificial intelligence, reprinted in Readings in Planning, 393-435, James Allen, ed. 1990.
	5	{Sacerdoti:75} E.D. Sacerdoti. The non-linear nature of plans. In Proceedings of the 1975 International Joint Conference on Artificial Intelligence, Tbilisi, USSR, 1975.