Explanation-based Generalization in a Logic-Programming Environment.

Haym Hirsh

Browse the full IJCAI paper archive.