Heng Zhang

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 28

Top Topics

Description Languages

Top Venues

Theory Pract. Log. Program.

Publications

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
Game equivalence and expressive power of game description languages: a bisimulation approach. J. Log. Comput. 33 (1) (2023)
Yu Wang, Heng Zhang, Guifei Jiang
A Convolutional Neural Network Approach to General Game Playing. ECAI (2023)
Heng Zhang, Guifei Jiang
Characterizing the Program Expressive Power of Existential Rule Languages. AAAI (2022)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Theory Pract. Log. Program. 21 (1) (2021)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
Epistemic GDL: A logic for representing and reasoning about imperfect information games. Artif. Intell. 294 (2021)
Heng Zhang, Yan Zhang, Guifei Jiang
Model-theoretic Characterizations of Existential Rule Languages. CoRR (2020)
Zhiqiang Zhuang, Kewen Wang, Junhu Wang, Heng Zhang, Zhe Wang, Zhiguo Gong
Lifting Majority to Unanimity in Opinion Diffusion. ECAI (2020)
Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng
On the Expressivity of ASK Queries in SPARQL. AAAI (2020)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation. CoRR (2020)
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI (2020)
Heng Zhang, Yan Zhang, Guifei Jiang
Model-theoretic Characterizations of Existential Rule Languages. IJCAI (2020)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
Characterizing the Expressivity of Game Description Languages. PRICAI (1) (2019)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
Game Equivalence and Bisimulation for Game Description Language. PRICAI (1) (2019)
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR (2019)
Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. J. Artif. Intell. Res. 64 (2019)
Vernon Asuncion, Yan Zhang, Heng Zhang
Loop Restricted Existential Rules and First-order Rewritability for Query Answering. CoRR (2018)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination: A Hierarchical Approach and Experimentation. RuleML+RR (2018)
Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. KR (2018)
Arash Karimi, Heng Zhang, Jia-Huai You
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Description Logics (2017)
Vernon Asuncion, Yan Zhang, Heng Zhang
Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. AAAI (2017)
Heng Zhang, Yan Zhang
Expressiveness of Logic Programs under the General Stable Model Semantics. ACM Trans. Comput. Log. 18 (2) (2017)
Heng Zhang, Yan Zhang, Jia-Huai You
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI (2016)
Heng Zhang, Yan Zhang, Jia-Huai You
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR (2016)
Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI (2016)
Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR (2016)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. IJCAI (2016)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
A Logic for Collective Choice. AAMAS (2015)
Heng Zhang, Yan Zhang, Jia-Huai You
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI (2015)
Vernon Asuncion, Yan Zhang, Heng Zhang
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. KR (2014)
Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
Computing General First-Order Parallel and Prioritized Circumscription. AAAI (2014)
Heng Zhang, Yan Zhang, Jia-Huai You
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR (2014)
Heng Zhang, Yan Zhang
Expressiveness of Logic Programs under General Stable Model Semantics. CoRR (2014)
Jia-Huai You, Heng Zhang, Yan Zhang
Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. 13 (4-5) (2013)
Heng Zhang, Yan Zhang
First-Order Expressibility and Boundedness of Disjunctive Logic Programs. IJCAI (2013)
Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
Constructive Circumscription. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Heng Zhang, Yan Zhang
Disjunctive Logic Programs versus Normal Logic Programs CoRR (2013)
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
Translating First-Order Theories into Logic Programs. IJCAI (2011)
Heng Zhang, Mingsheng Ying
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI (2010)
Heng Zhang, Mingyi Zhang
Model-Characterizing Formulas and Normal Forms in Godel Logics. ISMVL (2007)