TY  - JOUR
A1  - Janhunen, Tomi
A1  - Kaminski, Roland
A1  - Ostrowski, Max
A1  - Schellhorn, Sebastian
A1  - Wanko, Philipp
A1  - Schaub, Torsten H.
T1  - Clingo goes linear constraints over reals and integers
JF  - Theory and practice of logic programming
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.
KW  - Constraint Answer Set Programming (CASP)
KW  - Answer Set Programming (ASP)
KW  - Constraint Processing (CP)
KW  - Theory Solving
Y1  - 2017
U6  - https://doi.org/10.1017/S1471068417000242
SN  - 1471-0684
SN  - 1475-3081
VL  - 17
SP  - 872
EP  - 888
PB  - Cambridge Univ. Press
CY  - New York
ER  - 
TY  - JOUR
A1  - Banbara, Mutsunori
A1  - Kaufmann, Benjamin
A1  - Ostrowski, Max
A1  - Schaub, Torsten H.
T1  - Clingcon: The next generation
JF  - Theory and practice of logic programming
KW  - Constraint Answer Set Programming (CASP)
KW  - Answer Set Programming (ASP)
KW  - Sat Modulo Theories (SMT)
KW  - Constraint Programming (CP)
Y1  - 2017
U6  - https://doi.org/10.1017/S1471068417000138
SN  - 1471-0684
SN  - 1475-3081
VL  - 17
SP  - 408
EP  - 461
PB  - Cambridge Univ. Press
CY  - New York
ER  -