2 citations · 3 across the 4 of their papers we have counts for
4 papers
A Syntactic Approach to Studying Strongly Equivalent Logic Programs
Zhizheng Zhang, Shutao Zhang, Yanghe Feng +1
In the field of Answer Set Programming (ASP), two logic programs are strongly equivalent if they are ordinarily equivalent under any extensions. This property provides a theoretica…
On the Strong Equivalences of LPMLN Programs
Bin Wang, Jun Shen, Shutao Zhang +1
By incorporating the methods of Answer Set Programming (ASP) and Markov Logic Networks (MLN), LPMLN becomes a powerful tool for non-monotonic, inconsistent and uncertain knowledge…
On the Strong Equivalences for LPMLN Programs
Bin Wang, Jun Shen, Shutao Zhang +1
LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and the probabilistic reasoning ab…
ESmodels: An Epistemic Specification Solver
Zhizheng Zhang, Kaikai Zhao
(To appear in Theory and Practice of Logic Programming (TPLP)) ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reason…