A Feasible and Terrain-Insensitive Approach for Analyzing Power Wheelchair Users' Mobility. - Fang Li 010; Marcus Eng Hock Ong; Yan Daniel Zhao; Gang Qian; Jicheng Fu (ICTAI, 2017)

Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction. - Yongjia Yu; Vasu Jindal; Farokh B. Bastani; Fang Li 010; I-Ling Yen (COMPSAC (2), 2018)

A Novel Approach for Assessing Power Wheelchair Users' Mobility by Using Curve Fitting. - Jicheng Fu; Fang Li 010; Marcus Eng Hock Ong; Tyler Cook; Gang Qian; Yan Daniel Zhao (HCI (17), 2018)

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)

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)

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)

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

Graph-based Interpretation of Normal Logic Programs. - Fang Li 010; Elmer Salazar; 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)

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)

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)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach. - Fang Li 010; Fei Zuo; Gopal Gupta 001 (PADL, 2025)