Translating LPOD and CR-Prolog2 into standard answer set programs

Joohyung Lee; Zhun Yang

doi:10.1017/S1471068418000315

Translating LPOD and CR-Prolog₂ into standard answer set programs

Joohyung Lee, Zhun Yang

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

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.

Original language	English (US)
Pages (from-to)	589-606
Number of pages	18
Journal	Theory and Practice of Logic Programming
Volume	18
Issue number	3-4
DOIs	https://doi.org/10.1017/S1471068418000315
State	Published - Jul 1 2018

ASJC Scopus subject areas

Software
Theoretical Computer Science
Hardware and Architecture
Computational Theory and Mathematics
Artificial Intelligence

Access to Document

10.1017/S1471068418000315

Cite this

@article{c1d0ae6102b44a11ae926d5c3490f047,

title = "Translating LPOD and CR-Prolog2 into standard answer set programs",

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.",

author = "Joohyung Lee and Zhun Yang",

note = "Publisher Copyright: Copyright {\textcopyright} Cambridge University Press 2018.",

year = "2018",

month = jul,

day = "1",

doi = "10.1017/S1471068418000315",

language = "English (US)",

volume = "18",

pages = "589--606",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "3-4",

}

TY - JOUR

T1 - Translating LPOD and CR-Prolog2 into standard answer set programs

AU - Lee, Joohyung

AU - Yang, Zhun

PY - 2018/7/1

Y1 - 2018/7/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85051373083&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85051373083&partnerID=8YFLogxK

U2 - 10.1017/S1471068418000315

DO - 10.1017/S1471068418000315

M3 - Article

AN - SCOPUS:85051373083

SN - 1471-0684

VL - 18

SP - 589

EP - 606

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 3-4

ER -

Translating LPOD and CR-Prolog₂ into standard answer set programs

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this