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