333 citations · 674 across the 15 of their papers we have counts for
1 paper · 1 filter
Cristian Grozea, Marius Popescu
This article presents ASPIC, a new proof-of-concept library that converts extended syntax ASP-Core-2 programs to Picat predicates that can be solved right away with the integrated…