Bin Wang

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

Collaborative distances:

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

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

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