Constraints and AI Planning

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/MIS.2005.25

March/April 2005 (vol. 20 no. 2) pp. 62-72

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Alexander Nareyek Articles by Eugene C. Freuder Articles by Robert Fourer Articles by Enrico Giunchiglia Articles by Robert P. Goldman Articles by Henry Kautz Articles by Jussi Rintanen Articles by Austin Tate

	ASCII Text	x
	Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry Kautz, Jussi Rintanen, Austin Tate, "Constraints and AI Planning," IEEE Intelligent Systems, vol. 20, no. 2, pp. 62-72, March/April, 2005.

	BibTex	x
	@article{ 10.1109/MIS.2005.25, author = {Alexander Nareyek and Eugene C. Freuder and Robert Fourer and Enrico Giunchiglia and Robert P. Goldman and Henry Kautz and Jussi Rintanen and Austin Tate}, title = {Constraints and AI Planning}, journal ={IEEE Intelligent Systems}, volume = {20}, number = {2}, issn = {1541-1672}, year = {2005}, pages = {62-72}, doi = {http://doi.ieeecomputersociety.org/10.1109/MIS.2005.25}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - IEEE Intelligent Systems TI - Constraints and AI Planning IS - 2 SN - 1541-1672 SP62 EP72 EPD - 62-72 A1 - Alexander Nareyek, A1 - Eugene C. Freuder, A1 - Robert Fourer, A1 - Enrico Giunchiglia, A1 - Robert P. Goldman, A1 - Henry Kautz, A1 - Jussi Rintanen, A1 - Austin Tate, PY - 2005 KW - planning KW - constraint programming KW - propositional satisfiability KW - integer programming VL - 20 JA - IEEE Intelligent Systems ER -

Alexander Nareyek, University College Cork

Eugene C. Freuder, University College Cork

Robert Fourer, Northwestern University

Enrico Giunchiglia, University of Genova

Robert P. Goldman, Smart Information Flow Technologies

Henry Kautz, University of Washington

Jussi Rintanen, Albert-Ludwigs-University Freiburg

Austin Tate, University of Edinburgh

Tackling real-world planning problems often requires considering various types of constraints, ranging from simple numerical comparators to complex resources. This article provides an overview of how to solve planning tasks within general constraint-solving frameworks, such as propositional satisfiability, integer programming, and constraint programming. In many cases, the complete planning problem can be cast in these frameworks.

Index Terms:

planning, constraint programming, propositional satisfiability, integer programming

Citation:

Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry Kautz, Jussi Rintanen, Austin Tate, "Constraints and AI Planning," IEEE Intelligent Systems, vol. 20, no. 2, pp. 62-72, Mar./Apr. 2005, doi:10.1109/MIS.2005.25

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.