Multiagent Knowledge and Belief Change in the Situation Calculus. - Liangda Fang; Yongmei Liu 001 (AAAI, 2013)

High-Level Program Execution in Multi-agent Settings. - Liangda Fang (IJCAI, 2013)

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. - Liangda Fang; Yongmei Liu 001; Ximing Wen (IJCAI, 2015)

A Complete Epistemic Planner without the Epistemic Closed World Assumption. - Hai Wan; Rui Yang; Liangda Fang; Yongmei Liu 001; Huada Xu (IJCAI, 2015)

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. - Liangda Fang; Hai Wan; Xianqiao Liu; Biqing Fang; Zhao-Rong Lai (AAAI, 2018)

Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. - Liangda Fang; Kewen Wang 001; Zhe Wang 001; Ximing Wen (KR, 2018)

Knowledge Compilation in Multi-Agent Epistemic Logics. - Liangda Fang; Kewen Wang 001; Zhe Wang 001; Ximing Wen (CoRR, 2018)

A kernel-based trend pattern tracking system for portfolio optimization. - Zhao-Rong Lai; Pei-Yi Yang; Xiaotian Wu; Liangda Fang (Data Min. Knowl. Discov., 2018)

Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers. - Zhao-Rong Lai; Pei-Yi Yang; Liangda Fang; Xiaotian Wu (J. Mach. Learn. Res., 2018)

Trend representation based log-density regularization system for portfolio optimization. - Pei-Yi Yang; Zhao-Rong Lai; Xiaotian Wu; Liangda Fang (Pattern Recognit., 2018)

Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. - Liangda Fang; Kewen Wang 001; Zhe Wang 001; Ximing Wen (AAAI, 2019)

Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. - Xuanxiang Huang; Kehang Fang; Liangda Fang; Qingliang Chen; Zhao-Rong Lai; Linfeng Wei (AAAI, 2019)

Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. - Liangda Fang; Biqing Fang; Hai Wan; Zeqi Zheng; Liang Chang 003; Quan Yu (ICCAD, 2019)

Forgetting in multi-agent modal logics. - Liangda Fang; Yongmei Liu 001; Hans van Ditmarsch (Artif. Intell., 2019)

多智能体模态逻辑系统KD45n中的知识遗忘 (Knowledge Forgetting in Multi-agent Modal Logic System KD45n). - Ximing Wen; Liangda Fang; Quan Yu; Liang Chang 003; Ju Wang (计算机科学, 2019)

Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games. - Kaisheng Wu; Yong Qiao; Kaidong Chen; Fei Rong; Liangda Fang; Zhao-Rong Lai; Qian Dong; Liping Xiong (AAMAS, 2020)

Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. - Xuanxiang Huang; Haipeng Che; Liangda Fang; Qingliang Chen; Quanlong Guan; Yuhui Deng; Kaile Su (ICCAD, 2020)

Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers. - Kaisheng Wu; Liangda Fang; Liping Xiong; Zhao-Rong Lai; Yong Qiao; Kaidong Chen; Fei Rong (IJCAI, 2020)

Loss Control with Rank-one Covariance Estimate for Short-term Portfolio Optimization. - Zhao-Rong Lai; Liming Tan; Xiaotian Wu; Liangda Fang (J. Mach. Learn. Res., 2020)

Reweighted Price Relative Tracking System for Automatic Portfolio Optimization. - Zhao-Rong Lai; Pei-Yi Yang; Liangda Fang; Xiaotian Wu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Analysis of RSSI Feasibility for Sensor Positioning in Exterior Environment. - Qian Dong; Feng Zhu; Yanning Cai; Liangda Fang; Mi Lu (WTS, 2021)

Knowledge Compilation Meets Logical Separability. - Junming Qiu; Wenqing Li; Zhanhao Xiao; Quanlong Guan; Liangda Fang; Zhao-Rong Lai; Qian Dong (AAAI, 2022)

Cognitive Diagnosis Focusing on Knowledge Components. - Sheng Li; Zhenyu He 003; Quanlong Guan; Yizhou He; Liangda Fang; Weiqi Luo 002; Xingyu Zhu 011 (AIED (2), 2022)

Generalized Linear Integer Numeric Planning. - Xiaoyou Lin; Qingliang Chen; Liangda Fang; Quanlong Guan; Weiqi Luo 002; Kaile Su (ICAPS, 2022)

Knowledge Tracing Model with Learning and Forgetting Behavior. - Mingzhi Chen; Quanlong Guan; Yizhou He; Zhenyu He 003; Liangda Fang; Weiqi Luo 002 (CIKM, 2022)

Cognitive Diagnosis Focusing on Knowledge Concepts. - Sheng Li; Quanlong Guan; Liangda Fang; Fang Xiao; Zhenyu He 003; Yizhou He; Weiqi Luo 002 (CIKM, 2022)

A Mask-Based Adversarial Defense Scheme. - Weizhen Xu; Chenyi Zhang 001; Fangzhen Zhao; Liangda Fang (Algorithms, 2022)

Study of RSSI Accuracy for Outdoor Sensor Localization. - Qian Dong; Jinbao Xia; Feng Zhu; Zhao-Rong Lai; Yanning Cai; Liangda Fang; Mi Lu (J. Circuits Syst. Comput., 2022)

Molecular substructure graph attention network for molecular property identification in drug discovery. - Xianbin Ye; Quanlong Guan; Weiqi Luo 002; Liangda Fang; Zhao-Rong Lai; Jun Wang 123 (Pattern Recognit., 2022)

KG4Ex: An Explainable Knowledge Graph-Based Approach for Exercise Recommendation. - Quanlong Guan; Fang Xiao; Xinghe Cheng; Liangda Fang; Ziliang Chen 001; Guanliang Chen; Weiqi Luo 002 (CIKM, 2023)

An Interpretable Model With Forgetting Matrix For Deep Knowledge Tracing. - Quanlong Guan; Kaiquan Bian; Liangda Fang; Sheng Li; Zhenyu He 003; Hua Zheng; Lusheng Wu; Weiqi Luo 002 (CogSci, 2023)

A Practical Framework of Blockchain in IoT Information Management. - Quanlong Guan; Jiawei Lei; Chaonan Wang; Guanggang Geng; Yuansheng Zhong; Liangda Fang; Xiujie Huang; Weiqi Luo 002 (SMC, 2023)

NCDFSA: Neural Cognitive Diagnostic Focusing on Students' Attention to Knowledge Concepts. - Guoxiong Wei; Zhenyu He 003; Quanlong Guan; Liangda Fang; Weiqi Luo 002; Guanliang Chen (SMC, 2023)

BI-FERH: Blockchain-IoT based framework for securing smart hotel. - Quanlong Guan; Jiawei Lei; Chaonan Wang; Guanggang Geng; Yuansheng Zhong; Liangda Fang; Xiujie Huang; Weiqi Luo 002 (Comput. Sci. Inf. Syst., 2023)

An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update. - Quanlong Guan; Tong Zhu; Liangda Fang; Junming Qiu; Zhao-Rong Lai; Weiqi Luo 002 (CoRR, 2023)

Variants of Tagged Sentential Decision Diagrams. - Deyuan Zhong; Mingwei Zhang; Quanlong Guan; Liangda Fang; Zhao-Rong Lai; Yong Lai 001 (CoRR, 2023)

Generalized Strategy Synthesis of Infinite-state Impartial Combinatorial Games via Exact Binary Classification. - Liangda Fang; Meihong Yang; Dingliang Cheng; Yunlai Hao; Quanlong Guan; Liping Xiong (AAMAS, 2024)

Crowd Counting and Localization in Haze and Rain. - Weijun Yuan; Zhan Li; Xiaohan Li; Liangda Fang; Qingfeng Zhang; Zhixiang Qiu (ICME, 2024)

On the Logic of Theory Change Iteration of KM-Update, Revised. - Liangda Fang; Tong Zhu; Quanlong Guan; Junming Qiu; Zhao-Rong Lai; Weiqi Luo 002; Hai Wan (IJCAI, 2024)

A De-singularity Subgradient Approach for the Extended Weber Location Problem. - Zhao-Rong Lai; Xiaotian Wu; Liangda Fang; Ziliang Chen 001 (IJCAI, 2024)

A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs. - Mingwei Zhang; Liangda Fang; Zhenhao Gu; Quanlong Guan; Yong Lai 001 (IJCAI, 2024)

Exact Computation of Network Reliability with Sentential Decision Diagrams. - Delong Li; Jiayu Zeng; Liangda Fang; Chaonan Wang; Lin Cui 001; Quanlong Guan (ISSRE, 2024)

Reason-and-Execute Prompting: Enhancing Multi-Modal Large Language Models for Solving Geometry Questions. - Xiuliang Duan; Dating Tan; Liangda Fang; Yuyu Zhou; Chaobo He; Ziliang Chen 001; Lusheng Wu; Guanliang Chen; Zhiguo Gong; Weiqi Luo 002; Quanlong Guan (ACM Multimedia, 2024)

Generating Privacy-preserving Educational Data Records with Diffusion Model. - Quanlong Guan; Yanchong Yu; Xiujie Huang; Liangda Fang; Chaobo He; Lusheng Wu; Weiqi Luo 002; Guanliang Chen (WWW (Companion Volume), 2024)

Dictionary Encoding Based on Tagged Sentential Decision Diagrams. - Deyuan Zhong; Liangda Fang; Quanlong Guan (Algorithms, 2024)

De-singularity Subgradient for the q-th-Powered ℓp-Norm Weber Location Problem. - Zhao-Rong Lai; Xiaotian Wu; Liangda Fang; Ziliang Chen 001; Cheng Li 018 (CoRR, 2024)

Multitrend Conditional Value at Risk for Portfolio Optimization. - Zhao-Rong Lai; Cheng Li 018; Xiaotian Wu; Quanlong Guan; Liangda Fang (IEEE Trans. Neural Networks Learn. Syst., 2024)

On the role of logical separability in knowledge compilation. - Junming Qiu; Wenqing Li; Liangda Fang; Quanlong Guan; Zhanhao Xiao; Zhao-Rong Lai; Qian Dong (Artif. Intell., 2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. - Liangda Fang; Xiaoman Wang; Zhang Chen; Kailun Luo; Zhenhe Cui; Quanlong Guan (AAAI, 2025)

De-singularity Subgradient for the q-th-Powered lₚ-Norm Weber Location Problem. - Zhao-Rong Lai; Xiaotian Wu; Liangda Fang; Ziliang Chen 001; Cheng Li 018 (AAAI, 2025)

KVFKT: A New Horizon in Knowledge Tracing with Attention-Based Embedding and Forgetting Curve Integration. - Quanlong Guan; Xiuliang Duan; Kaiquan Bian; Guanliang Chen; Jianbo Huang; Zhiguo Gong; Liangda Fang (COLING, 2025)

Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. - Liangda Fang; Shikang Chen; Xiaoman Wang; Xiaoyou Lin; Chenyi Zhang 001; Qingliang Chen; Quanlong Guan; Kaile Su (AAMAS, 2025)

NR4DER: Neural Re-ranking for Diversified Exercise Recommendation. - Xinghe Cheng; Xufang Zhou; Liangda Fang; Chaobo He; Yuyu Zhou; Weiqi Luo 002; Zhiguo Gong; Quanlong Guan (SIGIR, 2025)

Explainable exercise recommendation with knowledge graph. - Quanlong Guan; Xinghe Cheng; Fang Xiao; Zhuzhou Li; Chaobo He; Liangda Fang; Guanliang Chen; Zhiguo Gong; Weiqi Luo 002 (Neural Networks, 2025)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System. - Tian Zhang; Wenshan Guan; Hao Miao; Quanlong Guan; Zhiquan Liu; Chaonan Wang; Xiujie Huang; Liangda Fang; Zhifei Duan (IEEE Trans. Veh. Technol., 2025)

Education-Oriented Graph Retrieval-Augmented Generation for Learning Path Recommendation. - Xinghe Cheng; Zihan Zhang; Jiapu Wang; Liangda Fang; Chaobo He; Quanlong Guan; Shirui Pan; Weiqi Luo 002 (CoRR, 2025)