CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
A Tabled Prolog Program for Solving Sokoban
Zhou NENG FA
,
Agostino Dovier
2011-01-01
Cite
URL
Type
Conference paper
Publication
26th Italian Conference on Computational Logic
Related
A Tabled Prolog Program for Solving Sokoban
A Tabled Prolog Program for Solving Sokoban
Solving the medical student scheduling problem using simulated annealing
An xAI Approach for Data-to-Text Processing with ASP
Towards explainable data-to-text generation
Cite
×