Liangda Fang

69 papers A* 22A 11B 4Journal 29Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamic comprehensive difficulty knowledge cells based on KAN network and stable learning for knowledge tracing.
Neural Networks
Qintai Hu, Qingpeng Wen, Pengfei Wei, Bi Zeng, Guang Feng, Liangda Fang
2026 A* conf
GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path Recommendation.
AAAI
Xinghe Cheng, Zihan Zhang, Jiapu Wang, Liangda Fang, Chaobo He, Quanlong Guan, Shirui Pan, Weiqi Luo
2026 J jnl
Uniform Interpolation in Distributed Knowledge Modal Logics.
CoRR
Kexu Wang, Liangda Fang
2025 A* conf
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus.
AAAI
Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan
2025 J jnl
An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques.
CoRR
Mingwei Zhang, Zhenhao Gu, Liangda Fang, Cunjing Ge, Ziliang Chen, Zhao-Rong Lai, Quanlong Guan
2025 A conf
Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF.
AAMAS
Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan, Kaile Su
2025 A* conf
De-singularity Subgradient for the q-th-Powered lₚ-Norm Weber Location Problem.
AAAI
Zhao-Rong Lai, Xiaotian Wu, Liangda Fang, Ziliang Chen, Cheng Li
2025 J jnl
Education-Oriented Graph Retrieval-Augmented Generation for Learning Path Recommendation.
CoRR
Xinghe Cheng, Zihan Zhang, Jiapu Wang, Liangda Fang, Chaobo He, Quanlong Guan, Shirui Pan, Weiqi Luo
2025 J jnl
Explainable exercise recommendation with knowledge graph.
Neural Networks
Quanlong Guan, Xinghe Cheng, Fang Xiao, Zhuzhou Li, Chaobo He, Liangda Fang, Guanliang Chen, Zhiguo Gong, Weiqi Luo
2025 A* conf
Improvements to the Generate-and-Complete Approach to Conformant Planning.
IJCAI
Liangda Fang, Min Zhan, Jin Tong, Xiujie Huang, Ziliang Chen, Quanlong Guan
2025 B conf
KVFKT: A New Horizon in Knowledge Tracing with Attention-Based Embedding and Forgetting Curve Integration.
COLING
Quanlong Guan, Xiuliang Duan, Kaiquan Bian, Guanliang Chen, Jianbo Huang, Zhiguo Gong, Liangda Fang
2025 A* conf
Language Models as Implicit Tree Search.
ICML
Ziliang Chen, Zhao-Rong Lai, Yufeng Yang, Liangda Fang, Zhanfu Yang, Liang Lin
2025 A* conf
NR4DER: Neural Re-ranking for Diversified Exercise Recommendation.
SIGIR
Xinghe Cheng, Xufang Zhou, Liangda Fang, Chaobo He, Yuyu Zhou, Weiqi Luo, Zhiguo Gong, Quanlong Guan
2025 J jnl
NR4DER: Neural Re-ranking for Diversified Exercise Recommendation.
CoRR
Xinghe Cheng, Xufang Zhou, Liangda Fang, Chaobo He, Yuyu Zhou, Weiqi Luo, Zhiguo Gong, Quanlong Guan
2025 A conf
PERC: A Prior-Guided Framework for Classifying Long-Content Educational Resources with Imbalanced Category Distributions.
CIKM
Quanlong Guan, Xiuliang Duan, Zhi Chen, Xingyu Zhu, Jianbo Huang, Xinzhong Liu, Zonglin Liu, Liangda Fang
2025 J jnl
VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System.
IEEE Trans. Veh. Technol.
Tian Zhang, Wenshan Guan, Hao Miao, Quanlong Guan, Zhiquan Liu, Chaonan Wang, Xiujie Huang, Liangda Fang, Zhifei Duan
2024 A* conf
A De-singularity Subgradient Approach for the Extended Weber Location Problem.
IJCAI
Zhao-Rong Lai, Xiaotian Wu, Liangda Fang, Ziliang Chen
2024 J jnl
A De-singularity Subgradient Approach for the Extended Weber Location Problem.
CoRR
Zhao-Rong Lai, Xiaotian Wu, Liangda Fang, Ziliang Chen
2024 A* conf
A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs.
IJCAI
Mingwei Zhang, Liangda Fang, Zhenhao Gu, Quanlong Guan, Yong Lai
2024 J jnl
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus.
CoRR
Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan
2024 A conf
Crowd Counting and Localization in Haze and Rain.
ICME
Weijun Yuan, Zhan Li, Xiaohan Li, Liangda Fang, Qingfeng Zhang, Zhixiang Qiu
2024 J jnl
De-singularity Subgradient for the
CoRR
Zhao-Rong Lai, Xiaotian Wu, Liangda Fang, Ziliang Chen, Cheng Li
2024 J jnl
Dictionary Encoding Based on Tagged Sentential Decision Diagrams.
Algorithms
Deyuan Zhong, Liangda Fang, Quanlong Guan
2024 A conf
Exact Computation of Network Reliability with Sentential Decision Diagrams.
ISSRE
Delong Li, Jiayu Zeng, Liangda Fang, Chaonan Wang, Lin Cui, Quanlong Guan
2024 A conf
Generalized Strategy Synthesis of Infinite-state Impartial Combinatorial Games via Exact Binary Classification.
AAMAS
Liangda Fang, Meihong Yang, Dingliang Cheng, Yunlai Hao, Quanlong Guan, Liping Xiong
2024 — conf
Generating Privacy-preserving Educational Data Records with Diffusion Model.
WWW (Companion Volume)
Quanlong Guan, Yanchong Yu, Xiujie Huang, Liangda Fang, Chaobo He, Lusheng Wu, Weiqi Luo, Guanliang Chen
2024 J jnl
Multitrend Conditional Value at Risk for Portfolio Optimization.
IEEE Trans. Neural Networks Learn. Syst.
Zhao-Rong Lai, Cheng Li, Xiaotian Wu, Quanlong Guan, Liangda Fang
2024 A* conf
On the Logic of Theory Change Iteration of KM-Update, Revised.
IJCAI
Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan
2024 J jnl
On the role of logical separability in knowledge compilation.
Artif. Intell.
Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai, Qian Dong
2024 A* conf
Reason-and-Execute Prompting: Enhancing Multi-Modal Large Language Models for Solving Geometry Questions.
ACM Multimedia
Xiuliang Duan, Dating Tan, Liangda Fang, Yuyu Zhou, Chaobo He, Ziliang Chen, Lusheng Wu, Guanliang Chen, Zhiguo Gong, Weiqi Luo, Quanlong Guan
2023 B conf
A Practical Framework of Blockchain in IoT Information Management.
SMC
Quanlong Guan, Jiawei Lei, Chaonan Wang, Guanggang Geng, Yuansheng Zhong, Liangda Fang, Xiujie Huang, Weiqi Luo
2023 B conf
An Interpretable Model With Forgetting Matrix For Deep Knowledge Tracing.
CogSci
Quanlong Guan, Kaiquan Bian, Liangda Fang, Sheng Li, Zhenyu He, Hua Zheng, Lusheng Wu, Weiqi Luo
2023 J jnl
An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update.
CoRR
Quanlong Guan, Tong Zhu, Liangda Fang, Junming Qiu, Zhao-Rong Lai, Weiqi Luo
2023 J jnl
BI-FERH: Blockchain-IoT based framework for securing smart hotel.
Comput. Sci. Inf. Syst.
Quanlong Guan, Jiawei Lei, Chaonan Wang, Guanggang Geng, Yuansheng Zhong, Liangda Fang, Xiujie Huang, Weiqi Luo
2023 A conf
KG4Ex: An Explainable Knowledge Graph-Based Approach for Exercise Recommendation.
CIKM
Quanlong Guan, Fang Xiao, Xinghe Cheng, Liangda Fang, Ziliang Chen, Guanliang Chen, Weiqi Luo
2023 B conf
NCDFSA: Neural Cognitive Diagnostic Focusing on Students' Attention to Knowledge Concepts.
SMC
Guoxiong Wei, Zhenyu He, Quanlong Guan, Liangda Fang, Weiqi Luo, Guanliang Chen
2023 J jnl
VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System.
CoRR
Tian Zhang, Wenshan Guan, Hao Miao, Xiujie Huang, Zhiquan Liu, Chaonan Wang, Quanlong Guan, Liangda Fang, Zhifei Duan
2023 J jnl
Variants of Tagged Sentential Decision Diagrams.
CoRR
Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Yong Lai
2022 J jnl
A Mask-Based Adversarial Defense Scheme.
Algorithms
Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang
2022 J jnl
A Mask-Based Adversarial Defense Scheme.
CoRR
Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang
2022 — conf
Cognitive Diagnosis Focusing on Knowledge Components.
AIED (2)
Sheng Li, Zhenyu He, Quanlong Guan, Yizhou He, Liangda Fang, Weiqi Luo, Xingyu Zhu
2022 A conf
Cognitive Diagnosis Focusing on Knowledge Concepts.
CIKM
Sheng Li, Quanlong Guan, Liangda Fang, Fang Xiao, Zhenyu He, Yizhou He, Weiqi Luo
2022 A* conf
Generalized Linear Integer Numeric Planning.
ICAPS
Xiaoyou Lin, Qingliang Chen, Liangda Fang, Quanlong Guan, Weiqi Luo, Kaile Su
2022 A* conf
Knowledge Compilation Meets Logical Separability.
AAAI
Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan, Liangda Fang, Zhao-Rong Lai, Qian Dong
2022 A conf
Knowledge Tracing Model with Learning and Forgetting Behavior.
CIKM
Mingzhi Chen, Quanlong Guan, Yizhou He, Zhenyu He, Liangda Fang, Weiqi Luo
2022 J jnl
Molecular substructure graph attention network for molecular property identification in drug discovery.
Pattern Recognit.
Xianbin Ye, Quanlong Guan, Weiqi Luo, Liangda Fang, Zhao-Rong Lai, Jun Wang
2022 J jnl
Study of RSSI Accuracy for Outdoor Sensor Localization.
J. Circuits Syst. Comput.
Qian Dong, Jinbao Xia, Feng Zhu, Zhao-Rong Lai, Yanning Cai, Liangda Fang, Mi Lu
2021 — conf
Analysis of RSSI Feasibility for Sensor Positioning in Exterior Environment.
WTS
Qian Dong, Feng Zhu, Yanning Cai, Liangda Fang, Mi Lu
2020 A* conf
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers.
IJCAI
Kaisheng Wu, Liangda Fang, Liping Xiong, Zhao-Rong Lai, Yong Qiao, Kaidong Chen, Fei Rong
2020 A conf
Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games.
AAMAS
Kaisheng Wu, Yong Qiao, Kaidong Chen, Fei Rong, Liangda Fang, Zhao-Rong Lai, Qian Dong, Liping Xiong
2020 A conf
Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams.
ICCAD
Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su
2020 J jnl
Loss Control with Rank-one Covariance Estimate for Short-term Portfolio Optimization.
J. Mach. Learn. Res.
Zhao-Rong Lai, Liming Tan, Xiaotian Wu, Liangda Fang
2020 J jnl
Reweighted Price Relative Tracking System for Automatic Portfolio Optimization.
IEEE Trans. Syst. Man Cybern. Syst.
Zhao-Rong Lai, Pei-Yi Yang, Liangda Fang, Xiaotian Wu
2019 A* conf
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions.
AAAI
Xuanxiang Huang, Kehang Fang, Liangda Fang, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei
2019 A* conf
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability.
AAAI
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
2019 J jnl
Forgetting in multi-agent modal logics.
Artif. Intell.
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
2019 A conf
Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.
ICCAD
Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu
2019 J jnl
多智能体模态逻辑系统KD45n中的知识遗忘 (Knowledge Forgetting in Multi-agent Modal Logic System KD45n).
计算机科学
Ximing Wen, Liangda Fang, Quan Yu, Liang Chang, Ju Wang
2018 J jnl
A kernel-based trend pattern tracking system for portfolio optimization.
Data Min. Knowl. Discov.
Zhao-Rong Lai, Pei-Yi Yang, Xiaotian Wu, Liangda Fang
2018 A* conf
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.
AAAI
Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai
2018 J jnl
Knowledge Compilation in Multi-Agent Epistemic Logics.
CoRR
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
2018 A* conf
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn.
KR
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
2018 J jnl
Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers.
J. Mach. Learn. Res.
Zhao-Rong Lai, Pei-Yi Yang, Liangda Fang, Xiaotian Wu
2018 J jnl
Trend representation based log-density regularization system for portfolio optimization.
Pattern Recognit.
Pei-Yi Yang, Zhao-Rong Lai, Xiaotian Wu, Liangda Fang
2016 A* conf
Forgetting in Multi-Agent Modal Logics.
IJCAI
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
2015 A* conf
A Complete Epistemic Planner without the Epistemic Closed World Assumption.
IJCAI
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
2015 A* conf
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.
IJCAI
Liangda Fang, Yongmei Liu, Ximing Wen
2013 A* conf
High-Level Program Execution in Multi-agent Settings.
IJCAI
Liangda Fang
2013 A* conf
Multiagent Knowledge and Belief Change in the Situation Calculus.
AAAI
Liangda Fang, Yongmei Liu