Heng Zhang

According to our database, Heng Zhang authored at least 32 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Game equivalence and expressive power of game description languages: a bisimulation approach.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

J. Log. Comput., January, 2023

A Convolutional Neural Network Approach to General Game Playing.

Yu Wang, Heng Zhang, Guifei Jiang

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Characterizing the Program Expressive Power of Existential Rule Languages.

Heng Zhang, Guifei Jiang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation.

Arash Karimi, Heng Zhang, Jia-Huai You

Theory Pract. Log. Program., 2021

Characterizing the Program Expressive Power of Existential Rule Languages.

Heng Zhang

CoRR, 2021

Epistemic GDL: A logic for representing and reasoning about imperfect information games.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

Artif. Intell., 2021

2020

Model-theoretic Characterizations of Existential Rule Languages.

Heng Zhang, Yan Zhang, Guifei Jiang

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Lifting Majority to Unanimity in Opinion Diffusion.

Zhiqiang Zhuang, Kewen Wang, Junhu Wang, Heng Zhang, Zhe Wang, Zhiguo Gong

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

On the Expressivity of ASK Queries in SPARQL.

Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Towards Universal Languages for Tractable Ontology Mediated Query Answering.

Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.

Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li

J. Artif. Intell. Res., 2019

Characterizing the Expressivity of Game Description Languages.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Game Equivalence and Bisimulation for Game Description Language.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

2018

Loop Restricted Existential Rules and First-order Rewritability for Query Answering.

Vernon Asuncion, Yan Zhang, Heng Zhang

CoRR, 2018

Restricted Chase Termination: A Hierarchical Approach and Experimentation.

Arash Karimi, Heng Zhang, Jia-Huai You

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.

Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Expressiveness of Logic Programs under the General Stable Model Semantics.

Heng Zhang, Yan Zhang

ACM Trans. Comput. Log., 2017

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant.

Arash Karimi, Heng Zhang, Jia-Huai You

Proceedings of the 30th International Workshop on Description Logics, 2017

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.

Vernon Asuncion, Yan Zhang, Heng Zhang

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering.

Heng Zhang, Yan Zhang, Jia-Huai You

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Query Answering with Inconsistent Existential Rules under Stable Model Semantics.

Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A Logic for Collective Choice.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Existential Rule Languages with Finite Chase: Complexity and Expressiveness.

Heng Zhang, Yan Zhang, Jia-Huai You

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.

Vernon Asuncion, Yan Zhang, Heng Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Computing General First-Order Parallel and Prioritized Circumscription.

Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Disjunctive logic programs with existential quantification in rule heads.

Jia-Huai You, Heng Zhang, Yan Zhang

Theory Pract. Log. Program., 2013

Constructive Circumscription.

Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou

Theory Pract. Log. Program., 2013

Disjunctive Logic Programs versus Normal Logic Programs

Heng Zhang, Yan Zhang

CoRR, 2013

First-Order Expressibility and Boundedness of Disjunctive Logic Programs.

Heng Zhang, Yan Zhang

Proceedings of the IJCAI 2013, 2013

2011

Translating First-Order Theories into Logic Programs.

Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou

Proceedings of the IJCAI 2011, 2011

2010

Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.

Heng Zhang, Mingsheng Ying

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2007

Model-Characterizing Formulas and Normal Forms in Godel Logics.

Heng Zhang, Mingyi Zhang

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007