Search Results for author: Sebastian Schellhorn

Found 1 papers, 0 papers with code

Clingo goes Linear Constraints over Reals and Integers

no code implementations13 Jul 2017 Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities.

Cannot find the paper you are looking for? You can Submit a new open access paper.