Coinductive Logic Programming with Negation

Richard Min, Gopal Gupta. Coinductive Logic Programming with Negation. In Danny De Schreye, editor, Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Volume 6037 of Lecture Notes in Computer Science, pages 97-112, Springer, 2009. [doi]

Authors

Richard Min

This author has not been identified. Look up 'Richard Min' in Google

Gopal Gupta

This author has not been identified. Look up 'Gopal Gupta' in Google