Personal information

Activities

Works (8)

o-LP<sup>MLN</sup>: A Combination of LP<sup>MLN</sup> and LPOD

Smart Innovation, Systems and Technologies
2020 | Book
EID:

2-s2.0-85079097537

Part of ISBN:

21903026 21903018

Contributors: Wang, B.; Zhang, S.; Xu, H.; Zhang, Z.; Wu, W.; He, C.; Zong, S.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the strong equivalences of LP<sup>MLN</sup> programs

Electronic Proceedings in Theoretical Computer Science, EPTCS
2019 | Conference paper
EID:

2-s2.0-85074795877

Part of ISBN:

20752180

Contributors: Wang, B.; Shen, J.; Zhang, S.; Zhang, Z.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

Handling preferences in LP<sup>MLN</sup>: A preliminary report

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85057799981

Part of ISBN:

16130073

Contributors: Wang, B.; Zhang, S.; Xu, H.; Zhang, Z.; Wu, W.; Li, X.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

LPMLNModels: A parallel solver for LPMLN

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
2018 | Conference paper
EID:

2-s2.0-85060775315

Part of ISBN:

10823409

Contributors: Wu, W.; Xu, H.; Zhang, S.; Duan, J.; Wang, B.; Zhang, Z.; He, C.; Zong, S.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

Splitting an LP <sup>MLN</sup> program

32nd AAAI Conference on Artificial Intelligence, AAAI 2018
2018 | Conference paper
EID:

2-s2.0-85057854044

Contributors: Wang, B.; Zhang, Z.; Xu, H.; Shen, J.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

A parallel LP<sup>MLN</sup>solver: Primary report

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85025167064

Part of ISBN:

16130073

Contributors: Wang, B.; Zhang, Z.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

Logic Programming with Graded Introspection

Fundamenta Informaticae
2016 | Journal article
EID:

2-s2.0-84997530364

Part of ISBN:

01692968

Contributors: Zhang, Z.; Wang, B.; Zhang, S.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎

Logic programming with graded introspection

ASPOCP 2015 - 8th Workshop on Answer Set Programming and Other Computing Paradigms, Affiliated with the International Conference on Logic Programming 2015 (part of &amp;quot;The Year of George Boole&amp;quot;)
2015 | Conference paper
EID:

2-s2.0-85084014794

Contributors: Zhang, Z.; Wang, B.; Zhang, S.
Source: Self-asserted source
Bin Wang via Scopus - Elsevier
grade
Preferred source (of 2)‎