Preferred first-order answer set programs

    Research output: Contribution to journalArticlepeer-review

    Abstract

    In this article, we consider the issue of how first-order answer set programs can be extended for handling preference reasoning. To this end, we propose a progression-based preference semantics for first-order answer set programs while explicit preference relations are presented. We study essential properties of the proposed preferred answer set semantics. To understand the expressiveness of preferred first-order answer set programming, we further specify a second-order logic representation which precisely characterizes the progression-based preference semantics.
    Original languageEnglish
    Article number11
    Number of pages42
    JournalACM Transactions on Computational Logic
    Volume15
    Issue number2
    DOIs
    Publication statusPublished - 2014

    Keywords

    • artificial intelligence
    • logic programming

    Fingerprint

    Dive into the research topics of 'Preferred first-order answer set programs'. Together they form a unique fingerprint.

    Cite this