Coinductive Logic Programming and Its Applications.

Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya

Browse the full ICLP paper archive.