Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs

Zhun Yang. Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs. In Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor, editors, Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. Volume 64 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Abstract

Abstract is missing.