Translating LPOD and CR-Prolog2 into standard answer set programs. Issue 3 (10th August 2018)
- Record Type:
- Journal Article
- Title:
- Translating LPOD and CR-Prolog2 into standard answer set programs. Issue 3 (10th August 2018)
- Main Title:
- Translating LPOD and CR-Prolog2 into standard answer set programs
- Authors:
- LEE, JOOHYUNG
YANG, ZHUN - Editors:
- Dal Palu, Alessandro
Tarau, Paul - Abstract:
- 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.
- Is Part Of:
- Theory and practice of logic programming. Volume 18:Issue 3/4(2018)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 18:Issue 3/4(2018)
- Issue Display:
- Volume 18, Issue 3/4 (2018)
- Year:
- 2018
- Volume:
- 18
- Issue:
- 3/4
- Issue Sort Value:
- 2018-0018-NaN-0000
- Page Start:
- 589
- Page End:
- 606
- Publication Date:
- 2018-08-10
- Subjects:
- Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068418000315 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 7507.xml