Ying, Mingsheng

5 publications

ICML 2025 Quantum Speedup for Hypergraph Sparsification Chenghua Liu, Minbo Gao, Zhengfeng Ji, Mingsheng Ying

IJCAI 2011 Translating First-Order Theories into Logic Programs Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou

AAAI 2010 Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription Heng Zhang, Mingsheng Ying

AAAI 2008 Reasoning with Cardinal Directions: An Efficient Algorithm Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying

AAAI 2007 Strongly Decomposable Voting Rules on Multiattribute Domains Lirong Xia, Jérôme Lang, Mingsheng Ying