A Tabled Prolog Program for Solving Sokoban

Neng-Fa Zhou, Agostino Dovier. A Tabled Prolog Program for Solving Sokoban. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011. pages 896-897, IEEE, 2011. [doi]

Abstract

Abstract is missing.