no code implementations • 5 Aug 2016 • Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
In this paper, we present a novel logic programming--based modeling paradigm that combines the best features of ASP and QBFs.