CALIMERI, Francesco

CALIMERI, Francesco  

Dipartimento di Matematica e Informatica  

Risultati 1 - 20 di 121 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autore(i) File
A framework for easing the development of applications embedding answer set programming 1-gen-2016 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
An Agent System Reasoning about the Web and the User 1-gen-2004 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
The AI system DLV: Ontologies, reasoning, and more 1-gen-2018 Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 1-gen-2016 Calimeri, Francesco; Fink, M; Germano, Stefano; Humenberger, A; Ianni, Giovambattista; Redl, C; Stepanova, D; Tucci, Andrea; Wimmer, A.
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 1-gen-2013 Calimeri, Francesco; Fink, M; Germano, S; Ianni, Giovambattista; Redl, C; Wimmer, A.
Answer Set Programming 1-gen-2010 P. A., Bonatti; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Answer set programming and declarative problem solving in game AIs 1-gen-2013 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
The Answer Set Programming Competition 1-gen-2012 Calimeri, Francesco; Ianni, Giovambattista; Krennwallner, T; Ricca, Francesco
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach 1-gen-2018 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Pezzimenti, Armando; Tucci, Andrea
Artificial intelligence for brain diseases: A systematic review 1-gen-2020 Segato, A.; Marzullo, A.; Calimeri, F.; De Momi, E.
The ASP System DLV2 1-gen-2017 Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J.
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
An ASP System with Functions, Lists, and Sets 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
ASP-Core-2 Input Language Format 1-gen-2020 Calimeri, F.; Faber, W.; Gebser, M.; Ianni, G.; Kaminski, R.; Krennwallner, T.; Leone, N.; Maratea, M.; Ricca, F.; Schaub, T.
BioHIPI: Biomedical Hadoop Image Processing Interface 1-gen-2017 Calimeri, Francesco; Caracciolo, M; Marzullo, A; Stamile, C.
Biomedical Data Augmentation using Generative Adversarial Neural Networks 1-gen-2017 Calimeri, Francesco; Marzullo, A; Stamile, C; Terracina, G.
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT) 1-gen-2019 Calimeri, Francesco; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT) 1-gen-2019 Calimeri, Francesco; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 1-gen-2016 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
Bottom-up Evaluation of Finitely Recursive Queries 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola