Clingo goes Linear Constraints over Reals and Integers

13 Jul 2017Tomi JanhunenRoland KaminskiMax OstrowskiTorsten SchaubSebastian SchellhornPhilipp Wanko

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, discuss the respective implementations, and present techniques of how to use these constraints in a reactive context... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.