Model-Characterizing Formulas and Normal Forms in Godel Logics. - Heng Zhang 006; Mingyi Zhang (ISMVL, 2007)

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

Translating First-Order Theories into Logic Programs. - Heng Zhang 006; Yan Zhang 003; Mingsheng Ying; Yi Zhou 013 (IJCAI, 2011)

First-Order Expressibility and Boundedness of Disjunctive Logic Programs. - Heng Zhang 006; Yan Zhang 003 (IJCAI, 2013)

Disjunctive Logic Programs versus Normal Logic Programs - Heng Zhang 006; Yan Zhang 003 (CoRR, 2013)

Constructive Circumscription. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yi Zhou 013 (Theory Pract. Log. Program., 2013)

Disjunctive logic programs with existential quantification in rule heads. - Jia-Huai You; Heng Zhang 006; Yan Zhang 003 (Theory Pract. Log. Program., 2013)

Computing General First-Order Parallel and Prioritized Circumscription. - Hai Wan; Zhanhao Xiao; Zhenfeng Yuan; Heng Zhang 006; Yan Zhang 003 (AAAI, 2014)

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (KR, 2014)

Existential Rule Languages with Finite Chase: Complexity and Expressiveness. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You (AAAI, 2015)

A Logic for Collective Choice. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel; Heng Zhang 006 (AAMAS, 2015)

Query Answering with Inconsistent Existential Rules under Stable Model Semantics. - Hai Wan; Heng Zhang 006; Peng Xiao 009; Haoran Huang; Yan Zhang 003 (AAAI, 2016)

DC-Top-k: A Novel Top-k Selecting Algorithm and Its Parallelization. - Zhengyuan Xue; Ruixuan Li 001; Heng Zhang 006; Xiwu Gu; Zhiyong Xu 003 (ICPP, 2016)

Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You (IJCAI, 2016)

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (AAAI, 2017)

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. - Arash Karimi; Heng Zhang 006; Jia-Huai You (Description Logics, 2017)

Detecting Permission Over-claim of Android Applications with Static and Semantic Analysis Approach. - Junwei Tang; Ruixuan Li 001; Hongmu Han; Heng Zhang 006; Xiwu Gu (TrustCom/BigDataSE/ICESS, 2017)

Expressiveness of Logic Programs under the General Stable Model Semantics. - Heng Zhang 006; Yan Zhang 003 (ACM Trans. Comput. Log., 2017)

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yun Bai 001; Weisheng Si (KR, 2018)

Restricted Chase Termination: A Hierarchical Approach and Experimentation. - Arash Karimi; Heng Zhang 006; Jia-Huai You (RuleML+RR, 2018)

Loop Restricted Existential Rules and First-order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (CoRR, 2018)

Game Equivalence and Bisimulation for Game Description Language. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang; Heng Zhang 006; Yuzhi Zhang (PRICAI (1), 2019)

Characterizing the Expressivity of Game Description Languages. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang; Heng Zhang 006; Yuzhi Zhang (PRICAI (1), 2019)

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Ruixuan Li 001 (J. Artif. Intell. Res., 2019)

Towards Universal Languages for Tractable Ontology Mediated Query Answering. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You; Zhiyong Feng 002; Guifei Jiang (AAAI, 2020)

On the Expressivity of ASK Queries in SPARQL. - Xiaowang Zhang; Jan Van den Bussche; Kewen Wang 001; Heng Zhang 006; Xuanxing Yang; Zhiyong Feng 002 (AAAI, 2020)

Lifting Majority to Unanimity in Opinion Diffusion. - Zhiqiang Zhuang; Kewen Wang 001; Junhu Wang; Heng Zhang 006; Zhe Wang 001; Zhiguo Gong (ECAI, 2020)

Model-theoretic Characterizations of Existential Rule Languages. - Heng Zhang 006; Yan Zhang 003; Guifei Jiang (IJCAI, 2020)

Epistemic GDL: A logic for representing and reasoning about imperfect information games. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel; Heng Zhang 006 (Artif. Intell., 2021)

Characterizing the Program Expressive Power of Existential Rule Languages. - Heng Zhang 006 (CoRR, 2021)

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. - Arash Karimi; Heng Zhang 006; Jia-Huai You (Theory Pract. Log. Program., 2021)

Characterizing the Program Expressive Power of Existential Rule Languages. - Heng Zhang 006; Guifei Jiang (AAAI, 2022)

A Convolutional Neural Network Approach to General Game Playing. - Yu Wang; Heng Zhang 006; Guifei Jiang (ECAI, 2023)

Game equivalence and expressive power of game description languages: a bisimulation approach. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang; Heng Zhang 006; Yuzhi Zhang (J. Log. Comput., 2023)

A Theory of Formalisms for Representing Knowledge. - Heng Zhang 006; Guifei Jiang; Donghui Quan (AAAI, 2025)