Introducing Real Variables and Integer Objective Functions to Answer Set Programming

Guohua Liu; Tomi Janhunen; Ilkka Niemelä

doi:10.1007/978-3-319-08909-6_8

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

Guohua Liu, Tomi Janhunen, Ilkka Niemelä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

2 Sitaatiot (Scopus)

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äiskieli	Englanti
Otsikko	International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
Toimittajat	Michael Hanus, Ricardo Rocha
Kustantaja	Springer
Sivut	118-135
Sivumäärä	18
ISBN (elektroninen)	978-3-319-08909-6
ISBN (painettu)	978-3-319-08908-9
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-08909-6_8
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Applications of Declarative Programming and Knowledge Management - Kiel, Saksa Kesto: 11 syysk. 2013 → 13 syysk. 2013 Konferenssinumero: 20

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Vuosikerta	8439 LNAI
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Conference

Conference	International Conference on Applications of Declarative Programming and Knowledge Management
Lyhennettä	INAP
Maa/Alue	Saksa
Kaupunki	Kiel
Ajanjakso	11/09/2013 → 13/09/2013

Pääsy asiakirjaan

10.1007/978-3-319-08909-6_8

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

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). Springer. https://doi.org/10.1007/978-3-319-08909-6_8

Liu, Guohua ; Janhunen, Tomi ; Niemelä, Ilkka. / Introducing Real Variables and Integer Objective Functions to Answer Set Programming. International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Toimittaja / Michael Hanus ; Ricardo Rocha. Springer, 2014. Sivut 118-135 (Lecture Notes in Computer Science).

@inproceedings{aae69c561b4a4f5da4e6ed6fe9c5808d,

title = "Introducing Real Variables and Integer Objective Functions to Answer Set Programming",

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.",

author = "Guohua Liu and Tomi Janhunen and Ilkka Niemel{\"a}",

note = "VK: triton coin hiit; International Conference on Applications of Declarative Programming and Knowledge Management, INAP ; Conference date: 11-09-2013 Through 13-09-2013",

year = "2014",

doi = "10.1007/978-3-319-08909-6_8",

language = "English",

isbn = "978-3-319-08908-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "118--135",

editor = "Michael Hanus and Ricardo Rocha",

booktitle = "International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013",

address = "Germany",

}

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

Introducing Real Variables and Integer Objective Functions to Answer Set Programming. / Liu, Guohua; Janhunen, Tomi ; Niemelä, Ilkka.
International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. toim. / Michael Hanus; Ricardo Rocha. Springer, 2014. s. 118-135 (Lecture Notes in Computer Science; Vuosikerta 8439 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

TY - GEN

T1 - Introducing Real Variables and Integer Objective Functions to Answer Set Programming

AU - Liu, Guohua

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

N1 - Conference code: 20

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958529255&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=84896672894&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-08909-6_8

DO - 10.1007/978-3-319-08909-6_8

M3 - Conference contribution

SN - 978-3-319-08908-9

T3 - Lecture Notes in Computer Science

SP - 118

EP - 135

BT - International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013

A2 - Hanus, Michael

A2 - Rocha, Ricardo

PB - Springer

T2 - International Conference on Applications of Declarative Programming and Knowledge Management

Y2 - 11 September 2013 through 13 September 2013

ER -

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

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

OpenUrl-saatavuus

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä