1 research outputs found
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
Logic Programs with Ordered Disjunction (LPOD) is an extension of standard
answer set programs to handle preference using the construct of ordered
disjunction, and CR-Prolog2 is an extension of standard answer set programs
with consistency restoring rules and LPOD-like ordered disjunction. We present
reductions of each of these languages into the standard ASP language, which
gives us an alternative way to understand the extensions in terms of the
standard ASP language.Comment: Paper presented at the 34nd International Conference on Logic
Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages,
LaTeX, 0 PDF figures (arXiv:YYMM.NNNNN