Fang Li

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 15

Top Topics

Commonsense Reasoning

Answer Set Programming

Natural Language

Top Venues

ICLP Technical Communications

Publications

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