58 citations · 58 across the 3 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…