Download PDFOpen PDF in browser

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

EasyChair Preprint 213

18 pagesDate: June 1, 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. 

Keyphrases: ASP, CR-Prolog2, LPOD

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:213,
  author    = {Joohyung Lee and Zhun Yang},
  title     = {Translating LPOD and CR-Prolog2 into Standard Answer Set Programs},
  doi       = {10.29007/d8rl},
  howpublished = {EasyChair Preprint 213},
  year      = {EasyChair, 2018}}
Download PDFOpen PDF in browser