Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Tabled Prolog Program for Solving SokobanNeng-Fa Zhou, Agostino Dovier. FUIN, 124(4):561-575, 2013. [doi] A Tabled Prolog Program for Solving SokobanNeng-Fa Zhou, Agostino Dovier. cilc 2011: 215-228 [doi]
The following publications are possibly variants of this publication: