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)

A new algorithm to automate inductive learning of default theories. - Farhad Shakerin; Elmer Salazar; Gopal Gupta 001 (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)

Synthesizing Imperative Code from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Elmer Salazar; Neeraj Mittal; Gopal Gupta 001 (LOPSTR, 2019)

Graph Based Answer Set Programming Solver Systems. - Fang Li 010; Elmer Salazar; Gopal Gupta 001 (ICLP Workshops, 2021)

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

Theory Revision with Goal-directed ASP. - Elmer Salazar (ICLP Workshops, 2021)

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Brendan Hall; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Kevin Driscoll 001; Gopal Gupta 001 (ICLP Workshops, 2021)

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. - Brendan Hall; Sarat Chandra Varanasi; Jan Fiedor; Joaquín Arias; Kinjal Basu 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots. - Fang Li 010; Huaduo Wang; Kinjal Basu 002; Elmer Salazar; Gopal Gupta 001 (ICLP Technical Communications, 2021)

Graph-based Interpretation of Normal Logic Programs. - Fang Li 010; Elmer Salazar; Gopal Gupta 001 (CoRR, 2021)

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy. - Kinjal Basu 002; Elmer Salazar; Huaduo Wang; Joaquín Arias; Parth Padalkar; Gopal Gupta 001 (ICLP Workshops, 2022)

Tutorial: Automating Commonsense Reasoning. - Gopal Gupta 001; Elmer Salazar; Sarat Chandra Varanasi; Kinjal Basu 002; Joaquín Arias; Farhad Shakerin; Fang Li 010; Huaduo Wang (ICLP Workshops, 2022)

LTL Model Checking using Coinductive Answer Set Programming. - Sarat Chandra Varanasi; Neda Saeedloei; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2022)

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2022)

Proof-Theoretic Foundations of Normal Logic Programs. - Elmer Salazar; Gopal Gupta 001 (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 2023)

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

Counterfactual Explanation Generation with s(CASP). - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2023)

Prolog: Past, Present, and Future. - Gopal Gupta 001; Elmer Salazar; Farhad Shakerin; Joaquín Arias; Sarat Chandra Varanasi; Kinjal Basu 002; Huaduo Wang; Fang Li 010; Serdar Erbatur; Parth Padalkar; Abhiramon Rajasekharan; Yankai Zeng; et al. (Prolog: The Next 50 Years, 2023)

Logic-Based Explainable and Incremental Machine Learning. - Gopal Gupta 001; Huaduo Wang; Kinjal Basu 002; Farhad Shakerin; Elmer Salazar; Sarat Chandra Varanasi; Parth Padalkar; Sopam Dasgupta (Prolog: The Next 50 Years, 2023)

Computational Thinking with Logic Programming. - Gopal Gupta 001; Elmer Salazar; Joaquín Arias (ICLP Workshops, 2024)

Causally Constrained Counterfactual Generation using ASP. - Sopam Dasgupta; Farhad Shakerin; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2024)

Counterfactual Generation with Answer Set Programming. - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP. - Sopam Dasgupta; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (CoRR, 2024)

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. - Anitha Murugesan; Isaac Hong Wong; Joaquín Arias; Robert J. Stroud; Srivatsan Varadarajan; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)

C3G: Causally Constrained Counterfactual Generation. - Sopam Dasgupta; Farhad Shakerin; Joaquín Arias; Elmer Salazar; Gopal Gupta 001 (PADL, 2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System. - Gopal Gupta 001; Abhiramon Rajasekharan; Alexis R. Tudor; Elmer Salazar; Joaquín Arias (CoRR, 2025)