Fang Li

Orcid: 0000-0002-6401-284X

Affiliations:
  • University of Texas at Dallas, Computer Science Department, Richardson, TX, USA


According to our database1, Fang Li authored at least 16 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023

2022
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
Proceedings of the Practical Aspects of Declarative Languages, 2022

Tutorial: Automating Commonsense Reasoning.
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.
CoRR, 2021

CASPR: A Commonsense Reasoning-based Conversational Socialbot.
CoRR, 2021

Graph Based Answer Set Programming Solver Systems.
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.
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.
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

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

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).
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.
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.
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.
Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

2018
A Novel Approach for Assessing Power Wheelchair Users' Mobility by Using Curve Fitting.
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.
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.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017


  Loading...