Richard Min (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

1 Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya: Coinductive Logic Programming and Its Applications. ICLP 2007: 27-44

Selection of 5 from 5 records - Richard Min has 8 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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
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
1		Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya: Coinductive Logic Programming and Its Applications. ICLP 2007: 27-44