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
An Agent System Reasoning about the Web and the User
2004-01-01 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
The AI system DLV: Ontologies, reasoning, and more
2018-01-01 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
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
The Answer Set Programming Competition
2012-01-01 Calimeri, Francesco; Ianni, Giovambattista; Krennwallner, T; Ricca, Francesco
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
Artificial intelligence for brain diseases: A systematic review
2020-01-01 Segato, A.; Marzullo, A.; Calimeri, F.; De Momi, E.
The ASP System DLV2
2017-01-01 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
2018-01-01 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
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
ASP-Core-2 Input Language Format
2020-01-01 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
2017-01-01 Calimeri, Francesco; Caracciolo, M; Marzullo, A; Stamile, C.
Biomedical Data Augmentation using Generative Adversarial Neural Networks
2017-01-01 Calimeri, Francesco; Marzullo, A; Stamile, C; Terracina, G.
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT)
2019-01-01 Calimeri, Francesco; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio
Blood vessel segmentation in retinal fundus images using hypercube neuroevolution of augmenting topologies (HyperNEAT)
2019-01-01 Calimeri, Francesco; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
2016-01-01 Calimeri, Francesco; Fuscà, D; Germano, S; Perri, Simona; Zangari, J.
Bottom-up Evaluation of Finitely Recursive Queries
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
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 |