Amanote Research
Register
Sign In
A Tabled Prolog Program for Solving Sokoban
doi 10.1109/ictai.2011.145
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2011
Authors
Neng-Fa Zhou
Agostino Dovier
Publisher
IEEE
Related search
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Implementation of A* Algorithm for Solving Sokoban Logic Games
Journal of Applied Intelligent System
Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs
Prolog
Reihe Rechtswissenschaft
A Program for Solving Systems of Homogeneous Linear Inequalities
Computer Physics Communications
Hardware
Astronomy
Physics
Architecture
A Partial Breadth-First Execution Model for Prolog
Expert Problem Solving Strategies for Program Comprehension
Prolog
Listlog — A PROLOG Extension for List Processing
