Infinite Computation, Co-induction and Computational Logic. - Gopal Gupta 001; Neda Saeedloei; Brian W. DeVries; Richard Min; Kyle Marple; Feliks Kluzniak (CALCO, 2011)

Galliwasp: A Goal-Directed Answer Set Solver. - Kyle Marple; Gopal Gupta 001 (LOPSTR, 2012)

Goal-directed execution of answer set programs. - Kyle Marple; Ajay Bansal; Richard Min; Gopal Gupta 001 (PPDP, 2012)

Dynamic Consistency Checking in Goal-Directed Answer Set Programming. - Kyle Marple; Gopal Gupta 001 (Theory Pract. Log. Program., 2014)

A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. - Zhuo Chen; Kyle Marple; Elmer Salazar; Gopal Gupta 001; Lakshman Tamil (Theory Pract. Log. Program., 2016)

A Case for Query-driven Predicate Answer Set Programming. - Gopal Gupta 001; Elmer Salazar; Kyle Marple; Zhuo Chen; Farhad Shakerin (ARCADE@CADE, 2017)

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning. - Zhuo Chen; Elmer Salazar; Kyle Marple; Gopal Gupta 001; Lakshman Tamil; Sandeep Das; Alpesh Amin (CoRR, 2017)

Computing Stable Models of Normal Logic Programs Without Grounding. - Kyle Marple; Elmer Salazar; Gopal Gupta 001 (CoRR, 2017)

Improving adherence to heart failure management guidelines via abductive reasoning. - Zhuo Chen; Elmer Salazar; Kyle Marple; Gopal Gupta 001; Lakshman Tamil; Daniel Cheeran; Sandeep Das; Alpesh Amin (Theory Pract. Log. Program., 2017)

Constraint Answer Set Programming without Grounding. - Joaquín Arias; Manuel Carro; Elmer Salazar; Kyle Marple; Gopal Gupta 001 (Theory Pract. Log. Program., 2018)