Logic Programming with Graded Modality. - Zhizheng Zhang 002; Shutao Zhang 001 (LPNMR, 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)

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)

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

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