Xiong, Liping

4 publications

AAAI 2025 A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity Ruiqi Jin, Yongmei Liu, Liping Xiong

IJCAI 2020 A Modal Logic for Joint Abilities Under Strategy Commitments Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi

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

IJCAI 2016 Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus Liping Xiong, Yongmei Liu