ML Anthology

Rao, M. R. K. Krishna

5 publications

ALT 2005 A Class of Prolog Programs with Non-Linear Outputs Inferable from Positive Data M. R. K. Krishna Rao
ALT 2004 Inductive Inference of Term Rewriting Systems from Positive Data M. R. K. Krishna Rao
ALT 1998 Learning from Entailment of Logic Programs with Local Variables M. R. K. Krishna Rao, Abdul Sattar
ALT 1996 A Class of Prolog Programs Inferable from Positive Data M. R. K. Krishna Rao
ALT 1995 Incremental Learning of Logic Programs M. R. K. Krishna Rao