Introducing Real Variables and Integer Objective Functions to Answer Set Programming

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)

    Abstract

    Answer set programming languages have been extended to support linear constraints and objective functions. However, the variables allowed in the constraints and functions are restricted to integer and Boolean domains, respectively. In this paper, we generalize the domain of linear constraints to real numbers and that of objective functions to integers. Since these extensions are based on a translation from logic programs to mixed integer programs, we compare the translation-based answer set programming approach with the native mixed integer programming approach using a number of benchmark problems.
    Original languageEnglish
    Title of host publicationInternational Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
    EditorsMichael Hanus, Ricardo Rocha
    Pages118-135
    Number of pages18
    ISBN (Electronic)978-3-319-08909-6
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Applications of Declarative Programming and Knowledge Management - Kiel, Germany
    Duration: 11 Sep 201313 Sep 2013
    Conference number: 20

    Publication series

    NameLecture Notes in Computer Science
    Volume8439 LNAI
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    ConferenceInternational Conference on Applications of Declarative Programming and Knowledge Management
    Abbreviated titleINAP
    CountryGermany
    CityKiel
    Period11/09/201313/09/2013

    Fingerprint Dive into the research topics of 'Introducing Real Variables and Integer Objective Functions to Answer Set Programming'. Together they form a unique fingerprint.

  • Cite this

    Liu, G., Janhunen, T., & Niemelä, I. (2014). Introducing Real Variables and Integer Objective Functions to Answer Set Programming. In M. Hanus, & R. Rocha (Eds.), International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013 (pp. 118-135). (Lecture Notes in Computer Science; Vol. 8439 LNAI). https://doi.org/10.1007/978-3-319-08909-6_8