135 citations · 189 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017
Clingo goes Linear Constraints over Reals and Integers
Tomi Janhunen, Roland Kaminski, Max Ostrowski +3
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…
cs.AI2017
Multi-shot ASP solving with clingo
Martin Gebser, Roland Kaminski, Benjamin Kaufmann +1
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its implementation in the AS…