Fang Li

19 papers B 1C 2Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2025 C conf
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach.
PADL
Fang Li, Fei Zuo, Gopal Gupta
2025 J jnl
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach.
CoRR
Fang Li, Fei Zuo, Gopal Gupta
2025 J jnl
Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming.
CoRR
Fang Li, Fei Zuo, Gopal Gupta
2023 — ch.
Prolog: Past, Present, and Future.
Prolog: The Next 50 Years
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
2022 C conf
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
PADL
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
2022 — conf
Tutorial: Automating Commonsense Reasoning.
ICLP Workshops
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
2021 J jnl
CASPR: A Commonsense Reasoning-based Conversational Socialbot.
CoRR
Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta
2021 — conf
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots.
ICLP Technical Communications
Fang Li, Huaduo Wang, Kinjal Basu, Elmer Salazar, Gopal Gupta
2021 — conf
Formalizing Informal Logic and Natural Language Deductivism.
ICLP Workshops
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
2021 — conf
Graph Based Answer Set Programming Solver Systems.
ICLP Workshops
Fang Li, Elmer Salazar, Gopal Gupta
2021 — conf
Graph Based Answer Set Programming Solver Systems.
ICLP Technical Communications
Fang Li
2021 J jnl
Graph-based Interpretation of Normal Logic Programs.
CoRR
Fang Li, Elmer Salazar, Gopal Gupta
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2021 — conf
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
ICLP Workshops
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
2021 J jnl
grASP: A Graph Based ASP-Solver and Justification System.
CoRR
Fang Li, Huaduo Wang, Gopal Gupta
2019 — conf
Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities.
ISC2
Fang Li, Huaduo Wang, Lijuan Diao, I-Ling Yen, Farokh B. Bastani
2018 — conf
A Novel Approach for Assessing Power Wheelchair Users' Mobility by Using Curve Fitting.
HCI (17)
Jicheng Fu, Fang Li, Marcus Eng Hock Ong, Tyler Cook, Gang Qian, Yan Daniel Zhao
2018 — conf
Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction.
COMPSAC (2)
Yongjia Yu, Vasu Jindal, Farokh B. Bastani, Fang Li, I-Ling Yen
2017 B conf
A Feasible and Terrain-Insensitive Approach for Analyzing Power Wheelchair Users' Mobility.
ICTAI
Fang Li, Marcus Eng Hock Ong, Yan Daniel Zhao, Gang Qian, Jicheng Fu