Heng Zhang

Orcid: 0000-0003-2159-9705

Affiliations:
  • Tianjin University, School of Computer Software, China
  • Huazhong University of Technology and Science, School of Computer Science and Technology, Wuhan, China (2015 - 2017)
  • University of Western Sydney, Penrith, NSW, Australia (2012 - 2015)
  • Tsinghua University, Department of Computer Science and Technology, Beijing, China (PhD 2012)


According to our database1, Heng Zhang authored at least 34 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Game equivalence and expressive power of game description languages: a bisimulation approach.
J. Log. Comput., January, 2023

A Convolutional Neural Network Approach to General Game Playing.
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.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation.
Theory Pract. Log. Program., 2021

Characterizing the Program Expressive Power of Existential Rule Languages.
CoRR, 2021

Epistemic GDL: A logic for representing and reasoning about imperfect information games.
Artif. Intell., 2021

2020
Model-theoretic Characterizations of Existential Rule Languages.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Lifting Majority to Unanimity in Opinion Diffusion.
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.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Towards Universal Languages for Tractable Ontology Mediated Query Answering.
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.
J. Artif. Intell. Res., 2019

Characterizing the Expressivity of Game Description Languages.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Game Equivalence and Bisimulation for Game Description Language.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

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

Restricted Chase Termination: A Hierarchical Approach and Experimentation.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.
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.
ACM Trans. Comput. Log., 2017

Detecting Permission Over-claim of Android Applications with Static and Semantic Analysis Approach.
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant.
Proceedings of the 30th International Workshop on Description Logics, 2017

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

DC-Top-k: A Novel Top-k Selecting Algorithm and Its Parallelization.
Proceedings of the 45th International Conference on Parallel Processing, 2016

Query Answering with Inconsistent Existential Rules under Stable Model Semantics.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
A Logic for Collective Choice.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Existential Rule Languages with Finite Chase: Complexity and Expressiveness.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Computing General First-Order Parallel and Prioritized Circumscription.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Disjunctive logic programs with existential quantification in rule heads.
Theory Pract. Log. Program., 2013

Constructive Circumscription.
Theory Pract. Log. Program., 2013

Disjunctive Logic Programs versus Normal Logic Programs
CoRR, 2013

First-Order Expressibility and Boundedness of Disjunctive Logic Programs.
Proceedings of the IJCAI 2013, 2013

2011
Translating First-Order Theories into Logic Programs.
Proceedings of the IJCAI 2011, 2011

2010
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2007
Model-Characterizing Formulas and Normal Forms in Godel Logics.
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007


  Loading...