Zhizheng Zhang

According to our database, Zhizheng Zhang authored at least 27 papers between 2009 and 2023.

Collaborative distances:

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

2023

The Minimal Negated Model Semantics of Assumable Logic Programs.

Shutao Zhang, Zhizheng Zhang

Proceedings of the Knowledge Science, Engineering and Management, 2023

2022

Assumable Answer Set Programming.

Zhizheng Zhang

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Constrained Default Logic Programming.

Shutao Zhang, Zhizheng Zhang, Jun Shen

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Dynamic Rebalancing Optimization for Bike-Sharing System Using Priority-Based MOEA/D Algorithm.

Runqiu Hu, Zhizheng Zhang, Xinwei Ma, Yuchuan Jin

IEEE Access, 2021

Answer Set Programming with Epistemic Defaults.

Shutao Zhang, Zhizheng Zhang, Jun Shen

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

A Syntactic Approach to Studying Strongly Equivalent Logic Programs.

Bin Wang, Runqiu Hu, Shutao Zhang, Zhizheng Zhang

CoRR, 2020

2019

On the Strong Equivalences of LPMLN Programs.

Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

2018

LPMLNModels: A Parallel Solver for LPMLN.

Wei Wu, Hongxiang Xu, Shutao Zhang, Jiaqi Duan, Bin Wang, Zhizheng Zhang, ChengLong He, Shiqiang Zong

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Handling Preferences in LP^MLN: A Preliminary Report.

Bin Wang, Shutao Zhang, Hongxiang Xu, Zhizheng Zhang, Wei Wu, Xiaodong Li

Proceedings of the 8th International Workshop on Combinations of Intelligent Methods and Applications co-located with 30th International Conference on Artificial Intelligence Tools (ICTAI 2018), 2018

Introspecting Preferences in Answer Set Programming.

Zhizheng Zhang

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Splitting an LPMLN Program.

Bin Wang, Zhizheng Zhang, Hongxiang Xu, Jun Shen

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Answer Set Programming with Graded Modality.

Zhizheng Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

A Parallel LP^MLN Solver: Primary Report.

Bin Wang, Zhizheng Zhang

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Epistemic Specifications with Probabilities.

Shutao Zhang, Zhizheng Zhang

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

Logic Programming with Graded Introspection.

Zhizheng Zhang, Bin Wang, Shutao Zhang

Fundam. Informaticae, 2016

2015

一种基于ILP和ASP的学习B语言描述的动作模型方法 (Learning Action Models Described in Action Language B by Combining ILP and ASP).

Zhen Liu, Zhizheng Zhang

计算机科学, 2015

Logic Programming with Graded Modality.

Zhizheng Zhang, Shutao Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014

Approximate Reliability Evaluation of Large-Scale Distributed Systems.

Yuchang Mo, Jianmin Han, Zhizheng Zhang, Zhusheng Pan, Farong Zhong

J. Inf. Sci. Eng., 2014

ESmodels: An Epistemic Specification Solver.

Zhizheng Zhang, Kaikai Zhao

CoRR, 2014

Preliminary Result on Finding Treatments for Patients with Comorbidity.

Yuanlin Zhang, Zhizheng Zhang

Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

2013

Preferential Semantics for Plausible Subsumption in Possibility Theory.

Guilin Qi, Zhizheng Zhang

Minds Mach., 2013

Entity Correspondence with Second-Order Markov Logic.

Ying Xu, Zhiqiang Gao, Campbell Wilson, Zhizheng Zhang, Man Zhu, Qiu Ji

Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

ESmodels: An Inference Engine of Epistemic Specifications.

Zhizheng Zhang, Kaikai Zhao, Rongcun Cui

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2011

Answer Set Optimization with Dependence Based Priority Propagagtion.

Zhizheng Zhang

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Medical Treatment Conflict Resolving in Answer Set Programming.

Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2009

Learning Relations by Path Finding and Simultaneous Covering.

Zhiqiang Gao, Zhizheng Zhang, Zhisheng Huang

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Extensions to the Relational Paths Based Learning Approach RPBL.

Zhiqiang Gao, Zhizheng Zhang, Zhisheng Huang

Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009