Login / Signup
Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.
Zhun Yang
Published in:
ICLP (Technical Communications) (2018)
Keyphrases
</>
answer set programs
logic programming
answer sets
answer set programming
logic programs
database
artificial intelligence
reasoning tasks