CALIMERI, Francesco
CALIMERI, Francesco
Dipartimento di Matematica e Informatica
A framework for easing the development of applications embedding answer set programming
2016-01-01 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments
2022-01-01 Segato, Alice; Calimeri, Francesco; Testa, Irene; Corbetta, Valentina; Riva, Marco; Demomi, Elena
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
2021-01-01 Calimeri, F.; Cauteruccio, F.; Cinelli, L.; Marzullo, A.; Stamile, C.; Terracina, G.; Durand-Dubief, F.; Sappey-Marinier, D.
A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture
2021-01-01 Lazo, Jorge F.; Marzullo, Aldo; Moccia, Sara; Catellani, Michele; Rosa, Benoit; Calimeri, Francesco; de Mathelin, Michel; De Momi, Elena
A machine learning guided rewriting approach for asp logic programs
2020-01-01 Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F.
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images
2022-01-01 Scarfone, M.; Bruno, P.; Calimeri, F.
A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters
2017-01-01 Costanzo, Antonio; Falcone, S.; Bisignano, Rosalbino; Straface, Michele; Ritacco, G.; La Piana, C.; Musacchio, Mario; Calimeri, F.
A System with Template Answer Set Programs
2004-01-01 Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C.
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT)
2017-01-01 Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Calimeri, Francesco; Van Huffel, S.
A Visual Tracer for DLV
2009-01-01 Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P.
AIM in Endoscopy Procedures
2022-01-01 Marzullo, A.; Moccia, S.; Calimeri, F.; De Momi, E.
AIM in Medical Informatics
2022-01-01 Bruno, Pierangela; Calimeri, Francesco; Greco, Gianluigi
An Agent System Reasoning about the Web and the User
2004-01-01 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
An ASP System with Functions, Lists, and Sets
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
An Open-Source COVID-19 CT Dataset with Automatic Lung Tissue Classification for Radiomics
2021-01-01 Zaffino, Paolo; Marzullo, Aldo; Moccia, Sara; Calimeri, Francesco; De Momi, Elena De; Bertucci, Bernardo; Arcuri, Pier Paolo; Spadea, Maria Francesca
Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases
2016-01-01 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
2013-01-01 Calimeri, Francesco; Fink, M; Germano, S; Ianni, Giovambattista; Redl, C; Wimmer, A.
Answer Set Programming
2010-01-01 P. A., Bonatti; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Answer set programming and declarative problem solving in game AIs
2013-01-01 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach
2018-01-01 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Pezzimenti, Armando; Tucci, Andrea
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 | |
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments | 1-gen-2022 | Segato, Alice; Calimeri, Francesco; Testa, Irene; Corbetta, Valentina; Riva, Marco; Demomi, Elena | |
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders | 1-gen-2021 | Calimeri, F.; Cauteruccio, F.; Cinelli, L.; Marzullo, A.; Stamile, C.; Terracina, G.; Durand-Dubief, F.; Sappey-Marinier, D. | |
A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture | 1-gen-2021 | Lazo, Jorge F.; Marzullo, Aldo; Moccia, Sara; Catellani, Michele; Rosa, Benoit; Calimeri, Francesco; de Mathelin, Michel; De Momi, Elena | |
A machine learning guided rewriting approach for asp logic programs | 1-gen-2020 | Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F. | |
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images | 1-gen-2022 | Scarfone, M.; Bruno, P.; Calimeri, F. | |
A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters | 1-gen-2017 | Costanzo, Antonio; Falcone, S.; Bisignano, Rosalbino; Straface, Michele; Ritacco, G.; La Piana, C.; Musacchio, Mario; Calimeri, F. | |
A System with Template Answer Set Programs | 1-gen-2004 | Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C. | |
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) | 1-gen-2017 | Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Calimeri, Francesco; Van Huffel, S. | |
A Visual Tracer for DLV | 1-gen-2009 | Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P. | |
AIM in Endoscopy Procedures | 1-gen-2022 | Marzullo, A.; Moccia, S.; Calimeri, F.; De Momi, E. | |
AIM in Medical Informatics | 1-gen-2022 | Bruno, Pierangela; Calimeri, Francesco; Greco, Gianluigi | |
An Agent System Reasoning about the Web and the User | 1-gen-2004 | Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S. | |
An ASP System with Functions, Lists, and Sets | 1-gen-2009 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
An Open-Source COVID-19 CT Dataset with Automatic Lung Tissue Classification for Radiomics | 1-gen-2021 | Zaffino, Paolo; Marzullo, Aldo; Moccia, Sara; Calimeri, Francesco; De Momi, Elena De; Bertucci, Bernardo; Arcuri, Pier Paolo; Spadea, Maria Francesca | |
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 | |
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 |