
Registered user since Fri 23 Jun 2017
Name:Francesco Calimeri
Affiliation:University of Calabria
Personal website:https://www.mat.unical.it/calimeri
Contributions
PADL 2018 | Optimizing Answer Set Computation via Heuristic-Based Decomposition LoIDE: a a web-based IDE for Logic Programming - Preliminary Report | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile