research
∙
11/09/2020
A Syntactic Approach to Studying Strongly Equivalent Logic Programs
In the field of Answer Set Programming (ASP), two logic programs are str...
share
research
∙
09/18/2019
On the Strong Equivalences of LPMLN Programs
By incorporating the methods of Answer Set Programming (ASP) and Markov ...
research
∙
09/09/2019
