Introducing Real Variables and Integer Objective Functions to Answer Set Programming

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    Abstrakti

    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.
    AlkuperäiskieliEnglanti
    OtsikkoInternational Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
    ToimittajatMichael Hanus, Ricardo Rocha
    Sivut118-135
    Sivumäärä18
    ISBN (elektroninen)978-3-319-08909-6
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Applications of Declarative Programming and Knowledge Management - Kiel, Saksa
    Kesto: 11 syyskuuta 201313 syyskuuta 2013
    Konferenssinumero: 20

    Julkaisusarja

    NimiLecture Notes in Computer Science
    Vuosikerta8439 LNAI
    ISSN (painettu)0302-9743
    ISSN (elektroninen)1611-3349

    Conference

    ConferenceInternational Conference on Applications of Declarative Programming and Knowledge Management
    LyhennettäINAP
    MaaSaksa
    KaupunkiKiel
    Ajanjakso11/09/201313/09/2013

    Sormenjälki Sukella tutkimusaiheisiin 'Introducing Real Variables and Integer Objective Functions to Answer Set Programming'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

  • Siteeraa tätä

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