Clingo goes linear constraints over reals and integers

Research output: Contribution to journalArticleScientificpeer-review

Standard

Clingo goes linear constraints over reals and integers. / Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten.

In: Theory and Practice of Logic Programming, Vol. 17, No. 5-6, 2017, p. 872-888.

Research output: Contribution to journalArticleScientificpeer-review

Harvard

Janhunen, T, Kaminski, R, Ostrowski, M, Schellhorn, S, Wanko, P & Schaub, T 2017, 'Clingo goes linear constraints over reals and integers' Theory and Practice of Logic Programming, vol. 17, no. 5-6, pp. 872-888. https://doi.org/10.1017/S1471068417000242

APA

Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P., & Schaub, T. (2017). Clingo goes linear constraints over reals and integers. Theory and Practice of Logic Programming, 17(5-6), 872-888. https://doi.org/10.1017/S1471068417000242

Vancouver

Author

Janhunen, Tomi ; Kaminski, Roland ; Ostrowski, Max ; Schellhorn, Sebastian ; Wanko, Philipp ; Schaub, Torsten. / Clingo goes linear constraints over reals and integers. In: Theory and Practice of Logic Programming. 2017 ; Vol. 17, No. 5-6. pp. 872-888.

Bibtex - Download

@article{3ceeab4c8f0d4e28b531247cc74c0a08,
title = "Clingo goes linear constraints over reals and integers",
abstract = "The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems.",
keywords = "answer set programming, constraints, constraint processing, theory solving",
author = "Tomi Janhunen and Roland Kaminski and Max Ostrowski and Sebastian Schellhorn and Philipp Wanko and Torsten Schaub",
year = "2017",
doi = "10.1017/S1471068417000242",
language = "English",
volume = "17",
pages = "872--888",
journal = "Theory and Practice of Logic Programming",
issn = "1471-0684",
publisher = "Cambridge University Press",
number = "5-6",

}

RIS - Download

TY - JOUR

T1 - Clingo goes linear constraints over reals and integers

AU - Janhunen, Tomi

AU - Kaminski, Roland

AU - Ostrowski, Max

AU - Schellhorn, Sebastian

AU - Wanko, Philipp

AU - Schaub, Torsten

PY - 2017

Y1 - 2017

N2 - The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems.

AB - The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems.

KW - answer set programming

KW - constraints

KW - constraint processing

KW - theory solving

U2 - 10.1017/S1471068417000242

DO - 10.1017/S1471068417000242

M3 - Article

VL - 17

SP - 872

EP - 888

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 5-6

ER -

ID: 16215718