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ä

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

2 Citations (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 language	English
Title of host publication	International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
Editors	Michael Hanus, Ricardo Rocha
Publisher	Springer
Pages	118-135
Number of pages	18
ISBN (Electronic)	978-3-319-08909-6
ISBN (Print)	978-3-319-08908-9
DOIs	https://doi.org/10.1007/978-3-319-08909-6_8
Publication status	Published - 2014
MoE publication type	A4 Conference publication
Event	International Conference on Applications of Declarative Programming and Knowledge Management - Kiel, Germany Duration: 11 Sept 2013 → 13 Sept 2013 Conference number: 20

Publication series

Name	Lecture Notes in Computer Science
Volume	8439 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Applications of Declarative Programming and Knowledge Management
Abbreviated title	INAP
Country/Territory	Germany
City	Kiel
Period	11/09/2013 → 13/09/2013

Access to Document

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

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). 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. editor / Michael Hanus ; Ricardo Rocha. Springer, 2014. pp. 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. in M Hanus & R Rocha (eds), International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Lecture Notes in Computer Science, vol. 8439 LNAI, Springer, pp. 118-135, International Conference on Applications of Declarative Programming and Knowledge Management, Kiel, Germany, 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. ed. / Michael Hanus; Ricardo Rocha. Springer, 2014. p. 118-135 (Lecture Notes in Computer Science; Vol. 8439 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

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 - https://www.scopus.com/pages/publications/84958529255

UR - https://www.scopus.com/pages/publications/84896672894

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

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

M3 - Conference article in proceedings

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. In Hanus M, Rocha R, editors, International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Springer. 2014. p. 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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this