Bin Wang

According to our database, Bin Wang authored at least 7 papers between 2016 and 2021.

Collaborative distances:

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

2021

On the Strong Equivalences for LPMLN Programs.

Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang

Log. Methods Comput. Sci., 2021

2020

A Syntactic Approach to Studying Strongly Equivalent Logic Programs.

Bin Wang, Runqiu Hu, Shutao Zhang, Zhizheng Zhang

CoRR, 2020

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

Splitting an LPMLN Program.

Bin Wang, Zhizheng Zhang, Hongxiang Xu, Jun Shen

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

A Parallel LP^MLN Solver: Primary Report.

Bin Wang, Zhizheng Zhang

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

2016

Logic Programming with Graded Introspection.

Zhizheng Zhang, Bin Wang, Shutao Zhang

Fundam. Informaticae, 2016