A Smart Role Mapping Recommendation System. - Lijuan Diao; Huaduo Wang; Sultan Alsarra; I-Ling Yen; Farokh B. Bastani (COMPSAC (2), 2019)

Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities. - Fang Li 010; Huaduo Wang; Lijuan Diao; I-Ling Yen; Farokh B. Bastani (ISC2, 2019)

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)

AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning. - Suraj Kothawade; Vinaya Khandelwal; Kinjal Basu 002; Huaduo Wang; Gopal Gupta 001 (ICLP Workshops, 2021)

grASP: A Graph Based ASP-Solver and Justification System. - Fang Li 010; Huaduo Wang; Gopal Gupta 001 (CoRR, 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)

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

CASPR: A Commonsense Reasoning-based Conversational Socialbot. - Kinjal Basu 002; Huaduo Wang; Nancy Dominguez; Xiangci Li; Fang Li 010; Sarat Chandra Varanasi; Gopal Gupta 001 (CoRR, 2021)

FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2021)

FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. - Huaduo Wang; Gopal Gupta 001 (FLOPS, 2022)

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)

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)

FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2022)

FOLD-SE: Scalable Explainable AI. - Huaduo Wang; Gopal Gupta 001 (CoRR, 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)

NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (ICLP Workshops, 2023)

NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks. - Parth Padalkar; Huaduo Wang; 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)

NeSyFOLD: A Framework for Interpretable Image Classification. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (AAAI, 2024)

Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Yankai Zeng; Abhiramon Rajasekharan; Kinjal Basu 002; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2024)

Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. - Parth Padalkar; Huaduo Wang; Gopal Gupta 001 (PADL, 2024)

FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. - Huaduo Wang; Gopal Gupta 001 (PADL, 2024)

Superfast Selection for Decision Tree Algorithms. - Huaduo Wang; Gopal Gupta 001 (CoRR, 2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. - Yankai Zeng; Abhiramon Rajasekharan; Kinjal Basu 002; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (Theory Pract. Log. Program., 2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning. - Alexis R. Tudor; Yankai Zeng; Huaduo Wang; Joaquín Arias; Gopal Gupta 001 (CoRR, 2025)