Bin Wang

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Logic Programming

Propositional Variables

Connected Components

Relational Algebra

Top Venues

Fundam. Informaticae

ICLP Technical Communications

Publications

Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
On the Strong Equivalences for LPMLN Programs. Log. Methods Comput. Sci. 17 (1) (2021)
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)
Bin Wang, Zhizheng Zhang, Hongxiang Xu, Jun Shen
Splitting an LPMLN Program. AAAI (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)
Bin Wang, Zhizheng Zhang
Solver: Primary Report. ASPOCP@LPNMR (2017)
Zhizheng Zhang, Bin Wang, Shutao Zhang
Logic Programming with Graded Introspection. Fundam. Informaticae 147 (1) (2016)