Jiang, Guifei

5 publications

AAAI 2025 A Theory of Formalisms for Representing Knowledge Heng Zhang, Guifei Jiang, Donghui Quan

AAAI 2022 Characterizing the Program Expressive Power of Existential Rule Languages Heng Zhang, Guifei Jiang

IJCAI 2020 Model-Theoretic Characterizations of Existential Rule Languages Heng Zhang, Yan Zhang, Guifei Jiang

AAAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang

IJCAI 2016 Epistemic GDL: A Logic for Representing and Reasoning About Imperfect Information Games Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang