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

A new algorithm to automate inductive learning of default theories. - Farhad Shakerin; Elmer Salazar; Gopal Gupta 001 (Theory Pract. Log. Program., 2017)

Cumulative Scoring-Based Induction of Default Theories. - Farhad Shakerin; Gopal Gupta 001 (ICLP (Technical Communications), 2018)

Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems. - Farhad Shakerin; Gopal Gupta 001 (ILP Up-and-Coming / Short Papers, 2018)

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME. - Farhad Shakerin; Gopal Gupta 001 (AAAI, 2019)

Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining. - Farhad Shakerin; Gopal Gupta 001 (CoRR, 2019)

Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models. - Farhad Shakerin (ICLP Technical Communications, 2019)

AQuA: ASP-Based Visual Question Answering. - Kinjal Basu 002; Farhad Shakerin; Gopal Gupta 001 (PADL, 2020)

Whitebox Induction of Default Rules Using High-Utility Itemset Mining. - Farhad Shakerin; Gopal Gupta 001 (PADL, 2020)

SQuARE: Semantics-based Question Answering and Reasoning Engine. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Gopal Gupta 001 (ICLP Technical Communications, 2020)

White-box Induction From SVM Models: Explainable AI with Logic Programming. - Farhad Shakerin; Gopal Gupta 001 (Theory Pract. Log. Program., 2020)

Knowledge-driven Natural Language Understanding of English Text and its Applications. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Joaquín Arias; Gopal Gupta 001 (AAAI, 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)

A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories. - Huaduo Wang; Farhad Shakerin; Gopal Gupta 001 (CoRR, 2021)

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)

FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. - Huaduo Wang; Farhad Shakerin; Gopal Gupta 001 (CoRR, 2022)

An ASP-based Approach to Answering Natural Language Questions for Texts. - Dhruva Pendharkar; Kinjal Basu 002; Farhad Shakerin; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data. - Huaduo Wang; Farhad Shakerin; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

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)

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)

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