Planning in Answer Set Programming using Ordered Task Decomposition

Jürgen Dix, Ugur Kuter, Dana S. Nau. Planning in Answer Set Programming using Ordered Task Decomposition. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. pages 521-576, College Publications, 2005.

Authors

Jürgen Dix

This author has not been identified. Look up 'Jürgen Dix' in Google

Ugur Kuter

This author has not been identified. Look up 'Ugur Kuter' in Google

Dana S. Nau

This author has not been identified. Look up 'Dana S. Nau' in Google