Shutao Zhang

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 12

Top Topics

Logic Programming

Top Venues

Fundam. Informaticae

Publications

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)
Shutao Zhang, Zhizheng Zhang, Jun Shen
Answer Set Programming with Epistemic Defaults. ICLP Workshops (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)
Bin Wang, Shutao Zhang, Hongxiang Xu, Zhizheng Zhang, Wei Wu, Xiaodong Li
: A Preliminary Report. CIMA@ICTAI (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, 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)