# Clingo goes linear constraints over reals and integers

Research output: Contribution to journal › Article › Scientific › peer-review

### Standard

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

Research output: Contribution to journal › Article › Scientific › peer-review

### Harvard

*Theory and Practice of Logic Programming*, vol. 17, no. 5-6, pp. 872-888. https://doi.org/10.1017/S1471068417000242

### APA

*Theory and Practice of Logic Programming*,

*17*(5-6), 872-888. https://doi.org/10.1017/S1471068417000242

### Vancouver

### Author

### Bibtex - Download

}

### 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