1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Manuel Borroto, Irfan Kareem, Francesco Ricca
This paper moves the first step towards automating the composition of Answer Set Programming (ASP) specifications. In particular, the following contributions are provided: (i) A da…