Extensions to the Relational Paths Based Learning Approach RPBL. - Zhiqiang Gao; Zhizheng Zhang 002; Zhisheng Huang (ACIIDS, 2009)

Learning Relations by Path Finding and Simultaneous Covering. - Zhiqiang Gao; Zhizheng Zhang 002; Zhisheng Huang (CSIE (5), 2009)

Medical Treatment Conflict Resolving in Answer Set Programming. - Forrest Sheng Bao; Zhizheng Zhang 002; Yuanlin Zhang 002 (AAAI, 2011)

Answer Set Optimization with Dependence Based Priority Propagagtion. - Zhizheng Zhang 002 (FLAIRS, 2011)

ESmodels: An Inference Engine of Epistemic Specifications. - Zhizheng Zhang 002; Kaikai Zhao; Rongcun Cui (ICTAI, 2013)

Entity Correspondence with Second-Order Markov Logic. - Ying Xu; Zhiqiang Gao; Campbell Wilson; Zhizheng Zhang 002; Man Zhu; Qiu Ji (WISE (1), 2013)

Preferential Semantics for Plausible Subsumption in Possibility Theory. - Guilin Qi; Zhizheng Zhang 002 (Minds Mach., 2013)

Preliminary Result on Finding Treatments for Patients with Comorbidity. - Yuanlin Zhang 002; Zhizheng Zhang 002 (KR4HC@VSL, 2014)

ESmodels: An Epistemic Specification Solver. - Zhizheng Zhang 002; Kaikai Zhao (CoRR, 2014)

Approximate Reliability Evaluation of Large-Scale Distributed Systems. - Yuchang Mo; Jianmin Han; Zhizheng Zhang 002; Zhusheng Pan; Farong Zhong (J. Inf. Sci. Eng., 2014)

Logic Programming with Graded Modality. - Zhizheng Zhang 002; Shutao Zhang 001 (LPNMR, 2015)

一种基于ILP和ASP的学习B语言描述的动作模型方法 (Learning Action Models Described in Action Language B by Combining ILP and ASP). - Zhen Liu; Zhizheng Zhang 002 (计算机科学, 2015)

Logic Programming with Graded Introspection. - Zhizheng Zhang 002; Bin Wang 061; Shutao Zhang 001 (Fundam. Informaticae, 2016)

Epistemic Specifications with Probabilities. - Shutao Zhang 001; Zhizheng Zhang 002 (ICTAI, 2017)

A Parallel LPMLN Solver: Primary Report. - Bin Wang 061; Zhizheng Zhang 002 (ASPOCP@LPNMR, 2017)

Answer Set Programming with Graded Modality. - Zhizheng Zhang 002 (LPNMR, 2017)

Splitting an LPMLN Program. - Bin Wang 061; Zhizheng Zhang 002; Hongxiang Xu; Jun Shen (AAAI, 2018)

Introspecting Preferences in Answer Set Programming. - Zhizheng Zhang 002 (ICLP (Technical Communications), 2018)

Handling Preferences in LPMLN: A Preliminary Report. - Bin Wang 061; Shutao Zhang 001; Hongxiang Xu; Zhizheng Zhang 002; Wei Wu; Xiaodong Li (CIMA@ICTAI, 2018)

LPMLNModels: A Parallel Solver for LPMLN. - Wei Wu; Hongxiang Xu; Shutao Zhang 001; Jiaqi Duan; Bin Wang 061; Zhizheng Zhang 002; ChengLong He; Shiqiang Zong (ICTAI, 2018)

On the Strong Equivalences of LPMLN Programs. - Bin Wang 061; Jun Shen; Shutao Zhang 001; Zhizheng Zhang 002 (ICLP Technical Communications, 2019)

A Syntactic Approach to Studying Strongly Equivalent Logic Programs. - Bin Wang 061; Runqiu Hu; Shutao Zhang 001; Zhizheng Zhang 002 (CoRR, 2020)

Answer Set Programming with Epistemic Defaults. - Shutao Zhang 001; Zhizheng Zhang 002; Jun Shen (ICLP Workshops, 2021)

Dynamic Rebalancing Optimization for Bike-Sharing System Using Priority-Based MOEA/D Algorithm. - Runqiu Hu; Zhizheng Zhang 002; Xinwei Ma; Yuchuan Jin (IEEE Access, 2021)

Constrained Default Logic Programming. - Shutao Zhang 001; Zhizheng Zhang 002; Jun Shen (ICLP Workshops, 2022)

Assumable Answer Set Programming. - Zhizheng Zhang 002 (ICLP Workshops, 2022)

The Minimal Negated Model Semantics of Assumable Logic Programs. - Shutao Zhang 001; Zhizheng Zhang 002 (KSEM (3), 2023)

A Question-and-Answer Scheme of Clinical Practice Guidelines Based on SDA. - Zhizheng Zhang 002; Qian Yang; Yan Du (ISAIMS, 2024)

CLLP: Contrastive Learning Framework Based on Latent Preferences for Next POI Recommendation. - Hongli Zhou; Zhihao Jia; Haiyang Zhu; Zhizheng Zhang 002 (SIGIR, 2024)

A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation. - Yan Yan; Junru Li; Fangzhou Liu; Zerong Wang; Zhizheng Zhang 002 (PADL, 2025)