|
author={Dix, Jürgen and Kuter, Ugur and Nau, Dana},
editor={A.~Günther, R. Kruse, B. Neumann},
title={Planning in Answer Set Programming using Ordered Task Decomposition},
booktitle={Proceedings of the 27th German Annual Conference on Artificial Intelligence (KI '03)},
volume={2821},
year={2003},
pages={490-504},
series={Lecture Notes in Artificial Intelligence},
publisher={Springer},
}
|