Richard Min

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Autonomous Robots

Logic Programming

Answer Set Programs

Top Venues

Publications

Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta
Goal-directed execution of answer set programs. PPDP (2012)
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
Infinite Computation, Co-induction and Computational Logic. CALCO (2011)
Richard Min, Gopal Gupta
Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS Conference (2009)
Richard Min, Ajay Bansal, Gopal Gupta
Towards Predicate Answer Set Programming via Coinductive Logic Programming. AIAI (2009)
Richard Min, Gopal Gupta
Coinductive Logic Programming with Negation. LOPSTR (2009)
Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
Coinductive Logic Programming and Its Applications. ICLP (2007)