Zhizheng Zhang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 18

Top Topics

Answer Set Programming

Top Venues

Publications

Hongli Zhou, Zhihao Jia, Haiyang Zhu, Zhizheng Zhang
CLLP: Contrastive Learning Framework Based on Latent Preferences for Next POI Recommendation. SIGIR (2024)
Shutao Zhang, Zhizheng Zhang
The Minimal Negated Model Semantics of Assumable Logic Programs. KSEM (3) (2023)
Shutao Zhang, Zhizheng Zhang, Jun Shen
Constrained Default Logic Programming. ICLP Workshops (2022)
Zhizheng Zhang
Assumable Answer Set Programming. ICLP Workshops (2022)
Shutao Zhang, Zhizheng Zhang, Jun Shen
Answer Set Programming with Epistemic Defaults. ICLP Workshops (2021)
Runqiu Hu, Zhizheng Zhang, Xinwei Ma, Yuchuan Jin
Dynamic Rebalancing Optimization for Bike-Sharing System Using Priority-Based MOEA/D Algorithm. IEEE Access 9 (2021)
Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
On the Strong Equivalences for LPMLN Programs. Log. Methods Comput. Sci. 17 (1) (2021)
Bin Wang, Runqiu Hu, Shutao Zhang, Zhizheng Zhang
A Syntactic Approach to Studying Strongly Equivalent Logic Programs. CoRR (2020)
Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
On the Strong Equivalences for LPMLN Programs. CoRR (2019)
Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
On the Strong Equivalences of LPMLN Programs. ICLP Technical Communications (2019)
Zhizheng Zhang
Introspecting Preferences in Answer Set Programming. ICLP (Technical Communications) (2018)
Bin Wang, Shutao Zhang, Hongxiang Xu, Zhizheng Zhang, Wei Wu, Xiaodong Li
: A Preliminary Report. CIMA@ICTAI (2018)
Bin Wang, Zhizheng Zhang, Hongxiang Xu, Jun Shen
Splitting an LPMLN Program. AAAI (2018)
Wei Wu, Hongxiang Xu, Shutao Zhang, Jiaqi Duan, Bin Wang, Zhizheng Zhang, ChengLong He, Shiqiang Zong
LPMLNModels: A Parallel Solver for LPMLN. ICTAI (2018)
Shutao Zhang, Zhizheng Zhang
Epistemic Specifications with Probabilities. ICTAI (2017)
Zhizheng Zhang
Answer Set Programming with Graded Modality. LPNMR (2017)
Bin Wang, Zhizheng Zhang
Solver: Primary Report. ASPOCP@LPNMR (2017)
Zhizheng Zhang, Bin Wang, Shutao Zhang
Logic Programming with Graded Introspection. Fundam. Informaticae 147 (1) (2016)
Zhizheng Zhang, Shutao Zhang
Logic Programming with Graded Modality. LPNMR (2015)
Zhen Liu, Zhizheng Zhang
一种基于ILP和ASP的学习B语言描述的动作模型方法 (Learning Action Models Described in Action Language B by Combining ILP and ASP). 计算机科学 42 (1) (2015)
Yuchang Mo, Jianmin Han, Zhizheng Zhang, Zhusheng Pan, Farong Zhong
Approximate Reliability Evaluation of Large-Scale Distributed Systems. J. Inf. Sci. Eng. 30 (1) (2014)
Yuanlin Zhang, Zhizheng Zhang
Preliminary Result on Finding Treatments for Patients with Comorbidity. KR4HC@VSL (2014)
Zhizheng Zhang, Kaikai Zhao
ESmodels: An Epistemic Specification Solver. CoRR (2014)
Guilin Qi, Zhizheng Zhang
Preferential Semantics for Plausible Subsumption in Possibility Theory. Minds Mach. 23 (1) (2013)
Ying Xu, Zhiqiang Gao, Campbell Wilson, Zhizheng Zhang, Man Zhu, Qiu Ji
Entity Correspondence with Second-Order Markov Logic. WISE (1) (2013)
Zhizheng Zhang, Kaikai Zhao, Rongcun Cui
ESmodels: An Inference Engine of Epistemic Specifications. ICTAI (2013)
Zhizheng Zhang
Answer Set Optimization with Dependence Based Priority Propagagtion. FLAIRS Conference (2011)
Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang
Medical Treatment Conflict Resolving in Answer Set Programming. AAAI (2011)
Guilin Qi, Zhizheng Zhang
Preferential Semantics for Plausible Subsumption in Possibility Theory. KR (2010)
Zhiqiang Gao, Zhizheng Zhang, Zhisheng Huang
Extensions to the Relational Paths Based Learning Approach RPBL. ACIIDS (2009)
Zhiqiang Gao, Zhizheng Zhang, Zhisheng Huang
Learning Relations by Path Finding and Simultaneous Covering. CSIE (5) (2009)