Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
Authors: Joohyung Lee and Zhun Yang
Paper Information
Title: | Translating LPOD and CR-Prolog2 into Standard Answer Set Programs |
Authors: | Joohyung Lee and Zhun Yang |
Proceedings: | ICLP Proceedings of ICLP 2018 |
Editors: | Paul Tarau and Alessandro Dal Palu' |
Keywords: | LPOD, CR-Prolog2, ASP |
Abstract: | ABSTRACT. Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the concept 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 insight into the semantics of the extensions in terms of the standard ASP language. |
Pages: | 18 |
Talk: | Jul 14 17:30 (Session 100A: ASP Extensions) |
Paper: |