Zhizheng Zhang

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