Follow
Francesco Calimeri
Francesco Calimeri
Associate Professor of Computer Science, University of Calabria (UNICAL), Italy
Verified email at unical.it - Homepage
Title
Cited by
Cited by
Year
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
2292020
Biomedical data augmentation using generative adversarial neural networks
F Calimeri, A Marzullo, C Stamile, G Terracina
International conference on artificial neural networks, 626-634, 2017
1912017
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1712012
Computable functions in ASP: Theory and implementation
F Calimeri, S Cozza, G Ianni, N Leone
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1562008
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1452016
Artificial intelligence for brain diseases: A systematic review
A Segato, A Marzullo, F Calimeri, E De Momi
APL bioengineering 4 (4), 2020
1372020
The asp system dlv2
M Alviano, F Calimeri, C Dodaro, D Fuscą, N Leone, S Perri, F Ricca, ...
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
1342017
I-DLV: the new intelligent grounder of DLV
F Calimeri, D Fuscą, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
942017
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
872011
The third open answer set programming competition
F Calimeri, G Ianni, F Ricca
Theory and Practice of Logic Programming 14 (1), 117-135, 2014
852014
The DLV system
N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ...
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
812002
Classification of multiple sclerosis clinical profiles via graph convolutional neural networks
A Marzullo, G Kocevar, C Stamile, F Durand-Dubief, G Terracina, ...
Frontiers in neuroscience 13, 594, 2019
752019
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
722013
External sources of knowledge and value invention in logic programming
F Calimeri, S Cozza, G Ianni
Annals of Mathematics and Artificial Intelligence 50, 333-361, 2007
712007
The ASP system DLV: advancements and applications
WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscą, ...
KI-Künstliche Intelligenz 32, 177-179, 2018
602018
Answer set programming
P Bonatti, F Calimeri, N Leone, F Ricca
A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010
532010
Novel method for automated analysis of retinal images: results in subjects with hypertensive retinopathy and CADASIL
M Cavallari, C Stamile, R Umeton, F Calimeri, F Orzi
BioMed research international 2015 (1), 752957, 2015
462015
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
F Calimeri, M Fink, S Germano, G Ianni, C Redl, A Wimmer
PAI @ AI* IA, 29-35, 2013
462013
Declarative and computational properties of logic programs with aggregates
F Calimeri, W Faber, N Leone, S Perri
IJCAI 5, 406-411, 2005
462005
An open-source covid-19 ct dataset with automatic lung tissue classification for radiomics
P Zaffino, A Marzullo, S Moccia, F Calimeri, E De Momi, B Bertucci, ...
Bioengineering 8 (2), 26, 2021
362021
The system can't perform the operation now. Try again later.
Articles 1–20