9 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Marcello Balduccini, Michael Gelfond
In this paper we continue the work on our extension of Answer Set Programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequ…