Heng Zhang - RankMe

44 papers A* 16A 3B 2Journal 18Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	A Theory of Formalisms for Representing Knowledge. AAAI Heng Zhang, Guifei Jiang, Donghui Quan
2024	J	`jnl`	A Theory of Formalisms for Representing Knowledge. CoRR Heng Zhang, Guifei Jiang, Donghui Quan
2023	A	`conf`	A Convolutional Neural Network Approach to General Game Playing. ECAI Yu Wang, Heng Zhang, Guifei Jiang
2023	J	`jnl`	Game equivalence and expressive power of game description languages: a bisimulation approach. J. Log. Comput. Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
2022	A*	`conf`	Characterizing the Program Expressive Power of Existential Rule Languages. AAAI Heng Zhang, Guifei Jiang
2021	J	`jnl`	Characterizing the Program Expressive Power of Existential Rule Languages. CoRR Heng Zhang
2021	J	`jnl`	Epistemic GDL: A logic for representing and reasoning about imperfect information games. Artif. Intell. Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
2021	J	`jnl`	Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Theory Pract. Log. Program. Arash Karimi, Heng Zhang, Jia-Huai You
2020	A	`conf`	Lifting Majority to Unanimity in Opinion Diffusion. ECAI Zhiqiang Zhuang, Kewen Wang, Junhu Wang, Heng Zhang, Zhe Wang, Zhiguo Gong
2020	A*	`conf`	Model-theoretic Characterizations of Existential Rule Languages. IJCAI Heng Zhang, Yan Zhang, Guifei Jiang
2020	J	`jnl`	Model-theoretic Characterizations of Existential Rule Languages. CoRR Heng Zhang, Yan Zhang, Guifei Jiang
2020	A*	`conf`	On the Expressivity of ASK Queries in SPARQL. AAAI Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng
2020	J	`jnl`	Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation. CoRR Arash Karimi, Heng Zhang, Jia-Huai You
2020	A*	`conf`	Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
2019	—	`conf`	Characterizing the Expressivity of Game Description Languages. PRICAI (1) Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
2019	—	`conf`	Game Equivalence and Bisimulation for Game Description Language. PRICAI (1) Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
2019	J	`jnl`	Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. J. Artif. Intell. Res. Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li
2019	J	`jnl`	Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
2018	A*	`conf`	Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. KR Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
2018	J	`jnl`	Loop Restricted Existential Rules and First-order Rewritability for Query Answering. CoRR Vernon Asuncion, Yan Zhang, Heng Zhang
2018	B	`conf`	Restricted Chase Termination: A Hierarchical Approach and Experimentation. RuleML+RR Arash Karimi, Heng Zhang, Jia-Huai You
2017	—	`conf`	Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Description Logics Arash Karimi, Heng Zhang, Jia-Huai You
2017	—	`conf`	Detecting Permission Over-claim of Android Applications with Static and Semantic Analysis Approach. TrustCom/BigDataSE/ICESS Junwei Tang, Ruixuan Li, Hongmu Han, Heng Zhang, Xiwu Gu
2017	J	`jnl`	Expressiveness of Logic Programs under the General Stable Model Semantics. ACM Trans. Comput. Log. Heng Zhang, Yan Zhang
2017	A*	`conf`	Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. AAAI Vernon Asuncion, Yan Zhang, Heng Zhang
2016	B	`conf`	DC-Top-k: A Novel Top-k Selecting Algorithm and Its Parallelization. ICPP Zhengyuan Xue, Ruixuan Li, Heng Zhang, Xiwu Gu, Zhiyong Xu
2016	A*	`conf`	Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. IJCAI Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
2016	A*	`conf`	Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI Heng Zhang, Yan Zhang, Jia-Huai You
2016	J	`jnl`	Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR Heng Zhang, Yan Zhang, Jia-Huai You
2016	A*	`conf`	Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2016	J	`jnl`	Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2015	A	`conf`	A Logic for Collective Choice. AAMAS Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
2015	A*	`conf`	Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI Heng Zhang, Yan Zhang, Jia-Huai You
2014	A*	`conf`	Computing General First-Order Parallel and Prioritized Circumscription. AAAI Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
2014	J	`jnl`	Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR Heng Zhang, Yan Zhang, Jia-Huai You
2014	J	`jnl`	Expressiveness of Logic Programs under General Stable Model Semantics. CoRR Heng Zhang, Yan Zhang
2014	A*	`conf`	Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. KR Vernon Asuncion, Yan Zhang, Heng Zhang
2013	J	`jnl`	Constructive Circumscription. Theory Pract. Log. Program. Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
2013	J	`jnl`	Disjunctive Logic Programs versus Normal Logic Programs CoRR Heng Zhang, Yan Zhang
2013	J	`jnl`	Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. Jia-Huai You, Heng Zhang, Yan Zhang
2013	A*	`conf`	First-Order Expressibility and Boundedness of Disjunctive Logic Programs. IJCAI Heng Zhang, Yan Zhang
2011	A*	`conf`	Translating First-Order Theories into Logic Programs. IJCAI Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
2010	A*	`conf`	Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI Heng Zhang, Mingsheng Ying
2007	—	`conf`	Model-Characterizing Formulas and Normal Forms in Godel Logics. ISMVL Heng Zhang, Mingyi Zhang