Francesco Calimeri
Francesco Calimeri
Associate Professor of Computer Science, University of Calabria (UNICAL), Italy
Verifierad e-postadress på unical.it - Startsida
Titel
Citeras av
Citeras av
År
Computable functions in ASP: Theory and implementation
F Calimeri, S Cozza, G Ianni, N Leone
International Conference on Logic Programming, 407-424, 2008
1442008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1362012
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1082016
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, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
772011
The third open answer set programming competition
F Calimeri, G Ianni, F Ricca
Theory and Practice of Logic Programming 14 (1), 117-135, 2014
762014
The DLV system
N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ...
European Workshop on Logics in Artificial Intelligence, 537-540, 2002
682002
External sources of knowledge and value invention in logic programming
F Calimeri, S Cozza, G Ianni
Annals of Mathematics and Artificial Intelligence 50 (3-4), 333, 2007
642007
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
International Conference on Logic Programming and Nonmonotonic Reasoning, 42-53, 2013
622013
I-DLV: the new intelligent grounder of DLV
F Calimeri, D Fuscà, S Perri, J Zangari
Intelligenza Artificiale 11 (1), 5-20, 2017
602017
The asp system DLV2
M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
562017
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
522017
Declarative and computational properties of logic programs with aggregates
F Calimeri, W Faber, N Leone, S Perri
IJCAI 5, 406-411, 2005
432005
Answer set programming
P Bonatti, F Calimeri, N Leone, F Ricca
A 25-year perspective on logic programming, 159-182, 2010
382010
Angry-HEX: an artificial player for angry birds based on declarative knowledge bases
F Calimeri, M Fink, S Germano, A Humenberger, G Ianni, C Redl, ...
IEEE Transactions on Computational Intelligence and AI in Games 8 (2), 128-139, 2015
322015
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
322013
Experimenting with Parallelism for the Instantiation of ASP Programs
F Calimeri, S Perri, F Ricca
Journal of Algorithms 63 (1-3), 34-54, 2008
322008
An ASP system with functions, lists, and sets
F Calimeri, S Cozza, G Ianni, N Leone
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
302009
Enhancing answer set programming with templates.
G Ianni, G Ielpa, A Pietramala, MC Santoro, F Calimeri
NMR, 233-239, 2004
282004
Pruning operators for answer set programming systems
F Calimeri, W Faber, N Leone, G Pfeifer
NMR 2002, 200-209, 2002
282002
Unfounded sets and well-founded semantics of answer set programs with aggregates
M Alviano, F Calimeri, W Faber, N Leone, S Perri
Journal of Artificial Intelligence Research 42, 487-527, 2011
252011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20