Shutao Zhang

According to our database, Shutao Zhang authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

The Minimal Negated Model Semantics of Assumable Logic Programs.

Shutao Zhang, Zhizheng Zhang

Proceedings of the Knowledge Science, Engineering and Management, 2023

2022

Constrained Default Logic Programming.

Shutao Zhang, Zhizheng Zhang, Jun Shen

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

Answer Set Programming with Epistemic Defaults.

Shutao Zhang, Zhizheng Zhang, Jun Shen

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

A Syntactic Approach to Studying Strongly Equivalent Logic Programs.

Bin Wang, Runqiu Hu, Shutao Zhang, Zhizheng Zhang

CoRR, 2020

2019

On the Strong Equivalences of LPMLN Programs.

Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

2018

LPMLNModels: A Parallel Solver for LPMLN.

Wei Wu, Hongxiang Xu, Shutao Zhang, Jiaqi Duan, Bin Wang, Zhizheng Zhang, ChengLong He, Shiqiang Zong

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Handling Preferences in LP^MLN: A Preliminary Report.

Bin Wang, Shutao Zhang, Hongxiang Xu, Zhizheng Zhang, Wei Wu, Xiaodong Li

Proceedings of the 8th International Workshop on Combinations of Intelligent Methods and Applications co-located with 30th International Conference on Artificial Intelligence Tools (ICTAI 2018), 2018

2017

Epistemic Specifications with Probabilities.

Shutao Zhang, Zhizheng Zhang

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

Logic Programming with Graded Introspection.

Zhizheng Zhang, Bin Wang, Shutao Zhang

Fundam. Informaticae, 2016

2015

Logic Programming with Graded Modality.

Zhizheng Zhang, Shutao Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015