Clingo goes linear constraints over reals and integers
Loading...
Access rights
openAccess
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Date
2017-01-01
Department
Major/Subject
Mcode
Degree programme
Language
en
Pages
Series
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms, Volume 1868, CEUR Workshop Proceedings
Abstract
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (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.Description
Keywords
Other note
Citation
Janhunen, T, Kaminski, R, Ostrowski, M, Schaub, T, Schellhorn, S & Wanko, P 2017, Clingo goes linear constraints over reals and integers . in Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms . vol. 1868, CEUR Workshop Proceedings, RWTH Aachen University, Workshop on Answer Set Programming and Other Computing Paradigms, Espoo, Finland, 03/07/2017 . < http://ceur-ws.org/Vol-1868/p4.pdf >