M. R. K. Krishna Rao, Abdul Sattar. Learning from Entailment of Logic Programs with Local Variables. In Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann, editors, Algorithmic Learning Theory, 9th International Conference, ALT 98, Otzenhausen, Germany, October 8-10, 1998, Proceedings. Volume 1501 of Lecture Notes in Computer Science, pages 143-157, Springer, 1998. [doi]
@inproceedings{RaoS98,
title = {Learning from Entailment of Logic Programs with Local Variables},
author = {M. R. K. Krishna Rao and Abdul Sattar},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1501/15010143.htm},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/RaoS98},
cites = {0},
citedby = {0},
pages = {143-157},
booktitle = {Algorithmic Learning Theory, 9th International Conference, ALT 98, Otzenhausen, Germany, October 8-10, 1998, Proceedings},
editor = {Michael M. Richter and Carl H. Smith and Rolf Wiehagen and Thomas Zeugmann},
volume = {1501},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65013-X},
}