A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

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…