PublicationsEnhancing SAT Based Planning with Landmark KnowledgeJan Elffers, Dyan Konijnenberg, Erwin Walraven, and Matthijs T. J. Spaan. Enhancing SAT Based Planning with Landmark Knowledge. In Proceedings of the 25th Benelux Conference on Artificial Intelligence, pp. 64–71, 2013. DownloadAbstractSeveral approaches exist to solve Artificial Intelligence planning problems, but little attention has been given to the combination of using landmark knowledge and satisfiability (SAT). Landmark knowledge has been exploited successfully in the heuristics of classical planning. Recently it was also shown that landmark knowledge can improve the performance of SAT based planners, but it was unclear how and in which domains they were effective. We investigate the relationship between landmarks and plan generation performance in SAT. We discuss a recently proposed heuristic for planning using SAT and suggest improvements. We compare the effects of landmark knowledge in parallel and sequential planning, also looking at previous research. It turns out that landmark knowledge can be beneficial, but performance highly depends on the planning domain and the planning problem itself. BibTeX Entry@InProceedings{Elffers13,
author = {Jan Elffers and Dyan Konijnenberg and Erwin Walraven
and Matthijs T. J. Spaan},
title = {Enhancing {SAT} Based Planning with Landmark
Knowledge},
booktitle = {Proceedings of the 25th Benelux Conference on
Artificial Intelligence},
pages = {64--71},
year = 2013
}
Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Generated by bib2html.pl (written by Patrick Riley) on Thu Feb 29, 2024 16:15:45 UTC |