Richard Min

According to our database, Richard Min authored at least 6 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Goal-directed execution of answer set programs.

Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Infinite Computation, Co-induction and Computational Logic.

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2009

Coinductive Logic Programming with Negation.

Richard Min, Gopal Gupta

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Towards Predicate Answer Set Programming via Coinductive Logic Programming.

Richard Min, Ajay Bansal, Gopal Gupta

Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

Coinductive Logic Programming and its Application to Boolean SAT.

Richard Min, Gopal Gupta

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2007

Coinductive Logic Programming and Its Applications.

Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya

Proceedings of the Logic Programming, 23rd International Conference, 2007