4 citations · 9 across the 8 of their papers we have counts for
1 paper · 1 filter
Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli +5
Deductive formalisms have been strongly developed in recent years; among them, Answer Set Programming (ASP) gained some momentum, and has been lately fruitfully employed in many re…