Translating LPOD and CR-Prolog2 into standard answer set programs

Joohyung Lee, Zhun Yang

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)589-606
Number of pages18
JournalTheory and Practice of Logic Programming
Volume18
Issue number3-4
DOIs
StatePublished - Jul 1 2018

Fingerprint

Answer Sets
Logic Programs
Standards
Alternatives
Language

ASJC Scopus subject areas

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

Cite this

Translating LPOD and CR-Prolog2 into standard answer set programs. / Lee, Joohyung; Yang, Zhun.

In: Theory and Practice of Logic Programming, Vol. 18, No. 3-4, 01.07.2018, p. 589-606.

Research output: Contribution to journalArticle

@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",
year = "2018",
month = "7",
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

VL - 18

SP - 589

EP - 606

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 3-4

ER -