Article contents
Translating LPOD and CR-Prolog2 into standard answer set programs
Published online by Cambridge University Press: 10 August 2018
Abstract
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.
- Type
- Original Article
- Information
- Theory and Practice of Logic Programming , Volume 18 , Special Issue 3-4: 34th International Conference on Logic Programming , July 2018 , pp. 589 - 606
- Copyright
- Copyright © Cambridge University Press 2018
References
- 1
- Cited by