 | 2011 |
| 5 |  | Gopal Gupta,
Neda Saeedloei,
Brian W. DeVries,
Richard Min,
Kyle Marple,
Feliks Kluzniak:
Infinite Computation, Co-induction and Computational Logic.
CALCO 2011: 40-54 |
| 2009 |
| 4 |  | Richard Min,
Ajay Bansal,
Gopal Gupta:
Towards Predicate Answer Set Programming via Coinductive Logic Programming.
AIAI 2009: 499-508 |
| 3 |  | Richard Min,
Gopal Gupta:
Coinductive Logic Programming and its Application to Boolean SAT.
FLAIRS Conference 2009 |
| 2 |  | Richard Min,
Gopal Gupta:
Coinductive Logic Programming with Negation.
LOPSTR 2009: 97-112 |
| 2007 |
| 1 |  | Gopal Gupta,
Ajay Bansal,
Richard Min,
Luke Simon,
Ajay Mallya:
Coinductive Logic Programming and Its Applications.
ICLP 2007: 27-44 |