Translating LPOD and CR-Prolog2 into standard answer set programs

Joohyung Lee, Zhun Yang

Research output: Contribution to journalArticlepeer-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 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

ASJC Scopus subject areas

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

Fingerprint

Dive into the research topics of 'Translating LPOD and CR-Prolog<sub>2</sub> into standard answer set programs'. Together they form a unique fingerprint.

Cite this