Polynomial-time learnability of logic programs with local variables from entailment

M. R. K. Krishna Rao, Abdul Sattar. Polynomial-time learnability of logic programs with local variables from entailment. Theoretical Computer Science, 268(2):179-198, 2001. [doi]

Abstract

Abstract is missing.