A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns. - Zhuo Chen 017; 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 017; Farhad Shakerin (ARCADE@CADE, 2017)

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

Improving adherence to heart failure management guidelines via abductive reasoning. - Zhuo Chen 017; 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 and its Applications. - Joaquín Arias; Manuel Carro; Zhuo Chen 017; Gopal Gupta 001 (Datalog, 2019)

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Zhuo Chen 017; Manuel Carro; Gopal Gupta 001 (LOPSTR, 2019)

Justifications for Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen 017; Gopal Gupta 001 (ICLP Technical Communications, 2020)

Formalizing Informal Logic and Natural Language Deductivism. - Gopal Gupta 001; Sarat Varnasi; Kinjal Basu 002; Zhuo Chen 017; Elmer Salazar; Farhad Shakerin; Serdar Erbatur; Fang Li 010; Huaduo Wang; Joaquín Arias; Brendan Hall; Kevin Driscoll 001 (ICLP Workshops, 2021)

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. - Zesheng Xu; Joaquín Arias; Elmer Salazar; Zhuo Chen 017; Sarat Chandra Varanasi; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2023)