Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fang Li
conf.researchr.org general profile
FLOPS 2026 profile
POPL 2022 profile
POPL 2025 profile
Registered user since Thu 23 Jan 2025
Name:
Fang Li
Affiliation:
Oklahoma Christian University
Contributions
2026
FLOPS
Author of Computing Supported Models via Transformation to Stable Models within the FLOPS 2026-track
2025
Symposium on Practical Aspects of Declarative Languages
Session Chair of Session 6 (part of PADL 2025)
Author of Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach within the PADL 2025-track
2022
Symposium on Practical Aspects of Declarative Languages
Author of Graph-based Interpretation of Normal Logic Programs within the PADL 2022-track
Author of Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) within the PADL 2022-track
Share
x
Sun 12 Apr 14:38
