Publications
Peer-Reviewed Conference Papers
Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
22nd International Conference on Artificial Intelligence Applications and Innovations (AIAI 2026)
F. Li, F. Zuo, and G. Gupta
Compositional Function Networks: A High-Performance Alternative to Deep Neural Networks with Built-in Interpretability
Machine Learning and Knowledge Engineering for Knowledge-Grounded Semantic Agents (AAAI-MAKE), 2026
F. Li (single author)
Computing Supported Models via Transformation to Stable Models
18th International Symposium on Functional and Logic Programming (FLOPS), 2026
F. Li and G. Gupta
Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming
F. Li (single author)
43rd IEEE International Conference on Computer Design (ICCD), 2025
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
F. Li, F. Zuo, G. Gupta
27th International Symposium on Practical Aspects of Declarative Languages (PADL), 2025
2 citation
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
International Symposium on Practical Aspects of Declarative Languages (PADL), pp. 181-190, 2022
S.C. Varanasi, J. Arias, E. Salazar, F. Li, K. Basu, and G. Gupta
14 citations
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots
F. Li, E. Salazar, G. Gupta
International Conference on Logic Programming (Technical Communications), 2021
16 citations
Graph Based Answer Set Programming Solver Systems
International Conference on Logic Programming (Technical Communications), 2021
F. Li, E. Salazar, G. Gupta
1 citation
Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities
2019 IEEE International Smart Cities Conference (ISC2), pp. 205-211, 2019
F. Li, H. Wang, I. Yen
5 citations
Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018
Y. Yu, V. Jindal, F. Bastani, F. Li, and I.L. Yen
48 citations
A Novel Approach for Assessing Power Wheelchair Users' Mobility by Using Curve Fitting
International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management (DHM), 2018
J. Fu, F. Li, M. Ong, T. Cook, G. Qian, and Y.D. Zhao
1 citation
A Feasible and Terrain-Insensitive Approach for Analyzing Power Wheelchair Users' Mobility
2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), 2017
F. Li, Y. Zhao, J. Fu
2 citations
Journal Publications
Teaching Multiple Paradigms for Intelligent Systems: Integrating Search, Knowledge-Based Reasoning, and Machine Learning in Graduate Education
Journal of Computing Sciences in Colleges, 2026
F. Li (single author)
Generative AI and Software Development Job Security: Challenges and Insights for Computing Education
Journal of Computing Sciences in Colleges, 2026
F. Zuo, G. Qian, F. Li, Y. Song, and X. Zhang
Bridging Traditional Machine Learning and Large Language Models: A Two-Part Course Design for Modern AI Education
F. Li (single author)
Journal of Computing Sciences in Colleges, 2025
Prolog: Past, Present, and Future
Prolog: The Next 50 Years, pp. 48-61, 2023
G. Gupta, E. Salazar, F. Shakerin, J. Arias, S.C. Varanasi, K. Basu, H. Wang, F. Li, et al.
4 citations
Workshop Papers with Proceedings
Tutorial: Automating Commonsense Reasoning
ICLP Workshops, 2022
G. Gupta, E. Salazar, S.C. Varanasi, K. Basu, J. Arias, F. Shakerin, F. Li, et al.
5 citations
Automating Common Sense Reasoning with ASP and s(CASP)
Proceedings of 2nd Workshop on Goal-directed Execution of Answer Set Programs, 2022
G. Gupta, E. Salazar, S.C. Varanasi, K. Basu, J. Arias, F. Shakerin, R. Min, F. Li, et al.
12 citations
Knowledge-assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-directed Answer Set Programming
8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), EPTCS 344, pp. 79-90, 2021
B. Hall, S.C. Varanasi, J. Fiedor, J. Arias, K. Basu, F. Li, D. Bhatt, K. Driscoll, et al.
18 citations
Formalizing Informal Logic and Natural Language Deductivism
ICLP Workshops, 2021
G. Gupta, S. Varanasi, K. Basu, Z. Chen, E. Salazar, F. Shakerin, S. Erbatur, F. Li, et al.
4 citations
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)
ICLP Workshops, 2021
S.C. Varanasi, B. Hall, J. Arias, E. Salazar, F. Li, K. Basu, K. Driscoll, and G. Gupta
1 citation
ASP Rendering of Holloway and Wasson's Primer on Overarching Properties
2020 Workshop
G. Gupta, S. Varanasi, K. Basu, Z. Chen, E. Salazar, F. Shakerin, S. Erbatur, F. Li, et al.
Automating Common Sense Reasoning
Tutorial talk, 2020
G. Gupta, E. Salazar, S.C. Varanasi, K. Basu, F. Shakerin, F. Li, H. Wang, et al.
3 citations
Competition Proceedings
CASPR: A Commonsense Reasoning-based Conversational Socialbot
4th Proceedings of Alexa Prize (Alexa Prize 2021), 2021
K. Basu, H. Wang, N. Dominguez, X. Li, F. Li, S.C. Varanasi, and G. Gupta
12 citations
Preprints and Papers Under Review
Structural Compositional Function Networks: Interpretable Functional Compositions for Tabular Discovery
arXiv preprint arXiv:2601.20037, 2026
F. Li (single author)
The Immutable Tensor Architecture: A Pure Dataflow Approach for Secure, Energy-Efficient AI Inference
arXiv preprint arXiv:2511.22889, 2025
F. Li (single author)
Submitted to IEEE Access
Graph-based Interpretation of Normal Logic Programs
arXiv preprint arXiv:2111.13249, 2021
F. Li, E. Salazar, and G. Gupta
1 citation
grASP: A Graph Based ASP-Solver and Justification System
arXiv preprint arXiv:2104.01190, 2021
F. Li, H. Wang, and G. Gupta
1 citation
Complete publication list on Google Scholar