Fang, Liangda

19 publications

AAAI 2025 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, Cheng Li

IJCAI 2025 Improvements to the Generate-and-Complete Approach to Conformant Planning Liangda Fang, Min Zhan, Jin Tong, Xiujie Huang, Ziliang Chen, Quanlong Guan

ICML 2025 Language Models as Implicit Tree Search Ziliang Chen, Zhao-Rong Lai, Yufeng Yang, Liangda Fang, Zhanfu Yang, Liang Lin

IJCAI 2024 A De-Singularity Subgradient Approach for the Extended Weber Location Problem Zhao-Rong Lai, Xiaotian Wu, Liangda Fang, Ziliang Chen

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

IJCAI 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, Hai Wan

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

IJCAI 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

JMLR 2020 Loss Control with Rank-One Covariance Estimate for Short-Term Portfolio Optimization Zhao-Rong Lai, Liming Tan, Xiaotian Wu, Liangda Fang

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 Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

AAAI 2018 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

JMLR 2018 Short-Term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers Zhao-Rong Lai, Pei-Yi Yang, Liangda Fang, Xiaotian Wu

IJCAI 2016 Forgetting in Multi-Agent Modal Logics Liangda Fang, Yongmei Liu, Hans van Ditmarsch

IJCAI 2015 A Complete Epistemic Planner Without the Epistemic Closed World Assumption Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu

IJCAI 2015 On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus Liangda Fang, Yongmei Liu, Ximing Wen

IJCAI 2013 High-Level Program Execution in Multi-Agent Settings Liangda Fang

AAAI 2013 Multiagent Knowledge and Belief Change in the Situation Calculus Liangda Fang, Yongmei Liu