Realizing Progol by Forward Reasoning.

Tomonobu Ozaki, Koichi Furukawa, Tomoko Murakami, Ken Ueno

Browse the full ILP paper archive.