Polynomial-time learnability of logic programs with local variables from entailment
| Authored By: | M. R. K. Krishna Rao and A. Sattar |
| Paper Title: | Polynomial-time learnability of logic programs with local variables from entailment |
| In: | Theoret. Comput. Sci. |
| Number 2 Vol. 268 | |
| Publication Date: | 2001 |
| Pages: | 179-198 |