Coinductive Logic Programming.

Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta

Browse the full ICLP paper archive.