Learning from Entailment of Logic Programs with Local Variables.

M. R. K. Krishna Rao, Abdul Sattar

Browse the full ALT paper archive.