Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning

Silvio do Lago Pereira, Leliane Nunes de Barros. Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning. In Ana L. C. Bazzan, Sofiane Labidi, editors, Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings. Volume 3171 of Lecture Notes in Computer Science, pages 62-72, Springer, 2004. [doi]

Abstract

Abstract is missing.