14 citations · 80 across the 19 of their papers we have counts for
1 paper · 2 filters
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
Motivated by the difficulty in presenting computational results, especially when the results are a collection of atoms in a logical language, to users, who are not proficient in co…