Fang Li

According to our database, Fang Li authored at least 20 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Computing Supported Models via Transformation to Stable Models: A System Description.

Fang Li, Gopal Gupta

Proceedings of the Functional and Logic Programming - 18th International Symposium, 2026

2025

Computing Supported Models via Transformation to Stable Models.

Fang Li, Gopal Gupta

CoRR, December, 2025

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming.

Fang Li, Fei Zuo, Gopal Gupta

CoRR, December, 2025

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach.

Fang Li, Fei Zuo, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2025

2023

Prolog: Past, Present, and Future.

Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

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, Kinjal Basu, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

Tutorial: Automating Commonsense Reasoning.

Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Graph-based Interpretation of Normal Logic Programs.

Fang Li, Elmer Salazar, Gopal Gupta

CoRR, 2021

CASPR: A Commonsense Reasoning-based Conversational Socialbot.

Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta

CoRR, 2021

Graph Based Answer Set Programming Solver Systems.

Fang Li

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots.

Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 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, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

grASP: A Graph Based ASP-Solver and Justification System.

Fang Li, Huaduo Wang, Gopal Gupta

CoRR, 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, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Formalizing Informal Logic and Natural Language Deductivism.

Gopal Gupta, Sarat Varnasi, Kinjal Basu, Zhuo Chen, Elmer Salazar, Farhad Shakerin, Serdar Erbatur, Fang Li, Huaduo Wang, Joaquín Arias, Brendan Hall, Kevin Driscoll

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Graph Based Answer Set Programming Solver Systems.

Fang Li, Elmer Salazar, Gopal Gupta

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2019

Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities.

Fang Li, Huaduo Wang, Lijuan Diao, I-Ling Yen, Farokh B. Bastani

Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

2018

A Novel Approach for Assessing Power Wheelchair Users' Mobility by Using Curve Fitting.

Jicheng Fu, Fang Li, Marcus Eng Hock Ong, Tyler Cook, Gang Qian, Yan Daniel Zhao

Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management, 2018

Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction.

Yongjia Yu, Vasu Jindal, Farokh B. Bastani, Fang Li, I-Ling Yen

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

A Feasible and Terrain-Insensitive Approach for Analyzing Power Wheelchair Users' Mobility.

Fang Li, Marcus Eng Hock Ong, Yan Daniel Zhao, Gang Qian, Jicheng Fu

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017