| 2025 | AAAI | A Theory of Formalisms for Representing Knowledge. | Heng Zhang, Guifei Jiang, Donghui Quan |
| 2023 | ADMA | Knowledge-Rich Influence Propagation Recommendation Algorithm Based on Graph Attention Networks. | Yuping Yang, Guifei Jiang, Yuzhi Zhang |
| 2023 | ECAI | A Convolutional Neural Network Approach to General Game Playing. | Yu Wang, Heng Zhang, Guifei Jiang |
| 2022 | AAAI | Characterizing the Program Expressive Power of Existential Rule Languages. | Heng Zhang, Guifei Jiang |
| 2020 | AAAI | Towards Universal Languages for Tractable Ontology Mediated Query Answering. | Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang |
| 2020 | IJCAI | Model-theoretic Characterizations of Existential Rule Languages. | Heng Zhang, Yan Zhang, Guifei Jiang |
| 2019 | PRICAI | Game Equivalence and Bisimulation for Game Description Language. | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang |
| 2019 | PRICAI | Characterizing the Expressivity of Game Description Languages. | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang |
| 2016 | IJCAI | Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. | Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang |
| 2014 | ECAI | Trust-based belief change. | Emiliano Lorini, Guifei Jiang, Laurent Perrussel |
| 2014 | PRICAI | GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. | Guifei Jiang, Dongmo Zhang, Laurent Perrussel |
| 2014 | PRIMA | Judgment Aggregation with Abstentions under Voters' Hierarchy. | Guifei Jiang, Dongmo Zhang, Laurent Perrussel |