Davide Ancona

Latest

• A Theoretical Perspective of Coinductive Logic Programming