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
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
An xAI Approach for Data-to-Text Processing with ASP
Cite
×