Translating LPOD and CR-Prolog2 into standard answer set programs

Joohyung Lee, Zhun Yang

Research output: Contribution to journalArticle

1 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

    Fingerprint

ASJC Scopus subject areas

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

Cite this