Shutao Zhang

12 papers B 3Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2023 — conf
The Minimal Negated Model Semantics of Assumable Logic Programs.
KSEM (3)
Shutao Zhang, 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
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 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
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