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