Francesco Calimeri

146 papers A* 4B 23C 10Journal 58Unranked 42
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming.
Intelligenza Artificiale
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
2026 J jnl
Looking Beyond Accuracy: A Holistic Benchmark of ECG Foundation Models.
CoRR
Francesca Filice, Edoardo De Rose, Simone Bartucci, Francesco Calimeri, Simona Perri
2025 — conf
A Human-Centric Environment (HCE) Framework for Sustainable Production in a Bakery.
Green-Aware AI@ECAI
Luca Laboccetta, Giorgio Terracina, Massimiliano Ruffolo, Davide Iacopino, Marta Maria, Salvatore Iiritano, Simona Perri, Francesco Calimeri
2025 J jnl
A multi-model deep learning approach for the identification of coronary artery calcifications within 2D coronary angiography images.
Int. J. Comput. Assist. Radiol. Surg.
Edoardo De Rose, Ciro Benito Raggio, Ahmad Riccardo Rasheed, Pierangela Bruno, Paolo Zaffino, Salvatore De Rosa, Francesco Calimeri, Maria Francesca Spadea
2025 J jnl
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2025 J jnl
Continual Learning in Medicine: A Systematic Literature Review.
Neural Process. Lett.
Pierangela Bruno, Alessandro Quarta, Francesco Calimeri
2025 — conf
Representation Is All We Need: Performance and Fairness of Google X-ray Foundation Model Representations - A Preliminary Study.
ICHI
Gebreyowhans H. Bahre, Hassan Hamidi, Andrew B. Sellergren, Leo Anthony Celi, Francesco Calimeri, Laleh Seyyed-Kalantari
2025 J jnl
Underdiagnosis Bias Mitigation With Expert Foundation Model's Representation.
IEEE Access
Gebreyowhans H. Bahre, Hassan Hamidi, Andrew B. Sellergren, Alessandro Quarta, Leo Anthony Celi, Francesco Calimeri, Laleh Seyyed-Kalantari
2024 — conf
AI-Driven Innovations in Healthcare: Bridging Imaging and Genomics for Advanced Disease Insights.
Ital-IA
Carlo Adornetto, Pierangela Bruno, Francesco Calimeri, Edoardo De Rose, Gianluigi Greco, Alessandro Quarta
2024 J jnl
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 — ed.
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I
ECAI Workshops (1)
Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024 — ed.
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
ECAI Workshops (2)
Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
2024 — conf
Features Selection Through Autoencoder Filtering and Deepshap: an Iterative Algorithm (Short Paper).
HC@AIxIA
Edoardo De Rose, Carlo Adornetto, Francesco Calimeri, Gianluigi Greco
2024 C conf
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning.
PADL
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2024 — conf
IDADA: A Blended Inductive-Deductive Approach for Data Augmentation.
AI*IA
Pierangela Bruno, Francesco Calimeri, Francesca Filice, Cinzia Marte, Simona Perri
2024 A* conf
LLASP: Fine-tuning Large Language Models for Answer Set Programming.
KR
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
2024 J jnl
LLASP: Fine-tuning Large Language Models for Answer Set Programming.
CoRR
Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca
2024 B conf
Monitoring and Scheduling of Semiconductor Failure Analysis Labs.
LPNMR
Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin
2024 — ed.
Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, 27-28 November 2024.
HC@AIxIA
Francesco Calimeri, Mauro Dragoni, Fabio Stella
2024 J jnl
Special issue on learning from multiple data sources for decision making in health care.
J. Biomed. Informatics
Fabio Stella, Francesco Calimeri, Mauro Dragoni
2024 — conf
To Heart via Liver: a Study on Prognostic Stratification of Heart Disease in MASLD Patients using Machine Learning Models.
HC@AIxIA
Pierangela Bruno, Antonio Cirella, Ernesto Di Cesare, Gianluigi Greco, Antonella Guzzo, Pierpaolo Palumbo, Silvano Junior Santini, Gaia Sinatti, Pierpaolo Vittorini, Francesco Calimeri, Clara Balsano
2024 C conf
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events.
PPDP
Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina
2024 J jnl
μ-Net: A Deep Learning-Based Architecture for μ-CT Segmentation.
CoRR
Pierangela Bruno, Edoardo De Rose, Carlo Adornetto, Francesco Calimeri, Sandro Donato, Raffaele Giuseppe Agostino, Daniela Amelio, Riccardo Barberi, Maria Carmela Cerra, Maria Caterina Crocco, Mariacristina Filice, Raffaele Filosa, Gianluigi Greco, Sandra Imbrogno, Vincenzo Formoso
2023 J jnl
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications.
Algorithms
Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari
2023 — conf
Artificial Intelligence in Medicine: From Imaging to Omics.
Ital-IA
Carlo Adornetto, Pierangela Bruno, Francesco Calimeri, Edoardo De Rose, Gianluigi Greco
2023 J jnl
Beyond rankings: Learning (more) from algorithm validation.
Medical Image Anal.
Tobias Roß, Pierangela Bruno, Annika Reinke, Manuel Wiesenfarth, Lisa Koeppel, Peter M. Full, Bünyamin Pekdemir, Patrick Godau, Darya Trofimova, Fabian Isensee, Tim J. Adler, Thuy Nuong Tran, Sara Moccia, Francesco Calimeri, Beat P. Müller-Stich, Annette Kopp-Schneider, Lena Maier-Hein
2023 J jnl
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming.
CoRR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
2023 J jnl
Efficient compliance checking of RDF data.
J. Log. Comput.
Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
2023 J jnl
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring.
Big Data Cogn. Comput.
Elena Mastria, Francesco Pacenza, Jessica Zangari, Francesco Calimeri, Simona Perri, Giorgio Terracina
2023 — ed.
Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, 08 November 2023.
HC@AIxIA
Francesco Calimeri, Mauro Dragoni, Fabio Stella
2022 — ed.
1st AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2022) co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 30 2022.
HC@AIxIA
Francesco Calimeri, Mauro Dragoni, Fabio Stella
2022 — conf
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images.
HYDRA/RCRA@LPNMR
Marco Scarfone, Pierangela Bruno, Francesco Calimeri
2022 J jnl
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments.
Auton. Robots
Alice Segato, Francesco Calimeri, Irene Testa, Valentina Corbetta, Marco Riva, Elena De Momi
2022 C conf
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
PPDP
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2022 J jnl
Assessing vascular complexity of PAOD patients by deep learning-based segmentation and fractal dimension.
Neural Comput. Appl.
Pierangela Bruno, Maria Francesca Spadea, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Giuseppe Gargiulo, Giuseppe Giugliano, Giovanni Esposito, Francesco Calimeri, Paolo Zaffino
2022 — conf
Continual Learning for medical image classification.
HC@AIxIA
Alessandro Quarta, Pierangela Bruno, Francesco Calimeri
2022 B conf
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models.
LPNMR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte
2022 J jnl
Editorial: Hot topic: Reducing operating times and complication rates through robot-assisted surgery.
Frontiers Robotics AI
Daniele Cafolla, Francesco Calimeri, Huiping Cao, Matteo Russo, Dominique Sappey-Marinier, Paolo Zaffino
2022 — ed.
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022.
HYDRA/RCRA@LPNMR
Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati
2022 J jnl
Lesion segmentation in lung CT scans using unsupervised adversarial learning.
Medical Biol. Eng. Comput.
Moiz Khan Sherwani, Aldo Marzullo, Elena De Momi, Francesco Calimeri
2022 J jnl
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020).
J. Log. Comput.
Francesco Calimeri, Simona Perri, Ester Zumpano
2022 C conf
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.
PADL
Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca
2022 — conf
Taking stock of available technologies for compliance checking on first-order knowledge.
CILC
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
2022 B conf
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities.
RuleML+RR
Francesco Calimeri, Elena Mastria, Simona Perri, Jessica Zangari
2021 J jnl
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders.
Theory Pract. Log. Program.
Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier
2021 B conf
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images.
RuleML+RR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna
2021 J jnl
How can we learn (more) from challenges? A statistical approach to driving future algorithm development.
CoRR
Tobias Roß, Pierangela Bruno, Annika Reinke, Manuel Wiesenfarth, Lisa Koeppel, Peter M. Full, Bünyamin Pekdemir, Patrick Godau, Darya Trofimova, Fabian Isensee, Sara Moccia, Francesco Calimeri, Beat P. Müller-Stich, Annette Kopp-Schneider, Lena Maier-Hein
2021 J jnl
I-DLV-sr: A Stream Reasoning System based on I-DLV.
CoRR
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 J jnl
I-DLV-sr: A Stream Reasoning System based on I-DLV.
Theory Pract. Log. Program.
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
2021 J jnl
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019).
Theory Pract. Log. Program.
Francesco Calimeri, Marco Manna, Simona Perri
2021 A* conf
Optimized 3D path planner for steerable catheters with deductive reasoning.
ICRA
Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi
2021 — conf
Standard vs. Learning-based Codecs for Real Time Endoscopic Video Transmission.
AIABI@AI*IA
Aldo Marzullo, Martina Golini, Michele Catellani, Elena De Momi, Francesco Calimeri, Giuseppe Fiameni, Iuri Frosio
2021 J jnl
Towards realistic laparoscopic image generation using image-domain translation.
Comput. Methods Programs Biomed.
Aldo Marzullo, Sara Moccia, Michele Catellani, Francesco Calimeri, Elena De Momi
2020 B conf
A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture.
ICPR
Jorge F. Lazo, Aldo Marzullo, Sara Moccia, Michele Catellani, Benoit Rosa, Francesco Calimeri, Michel de Mathelin, Elena De Momi
2020 — conf
A Machine Learning guided Rewriting Approach for ASP Logic Programs.
ICLP Technical Communications
Elena Mastria, Jessica Zangari, Simona Perri, Francesco Calimeri
2020 J jnl
ASP-Core-2 Input Language Format.
Theory Pract. Log. Program.
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020 J jnl
Data reduction and data visualization for automatic diagnosis using gene expression and clinical data.
Artif. Intell. Medicine
Pierangela Bruno, Francesco Calimeri, Alexandre Sébastien Kitanidis, Elena De Momi
2020 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Theory Pract. Log. Program.
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2020 — conf
Evaluating the Impact of Training Loss on MR to Synthetic CT Conversion.
LOD (1)
Moiz Khan Sherwani, Paolo Zaffino, Pierangela Bruno, Maria Francesca Spadea, Francesco Calimeri
2020 — ed.
Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.
CILC
Francesco Calimeri, Simona Perri, Ester Zumpano
2020 — conf
Understanding Automatic COVID-19 Classification Using Chest X-ray images.
XAI.it@AI*IA
Pierangela Bruno, Cinzia Marte, Francesco Calimeri
2020 — conf
Understanding Automatic Diagnosis and Classification Processes with Data Visualization.
ICHMS
Pierangela Bruno, Francesco Calimeri, Alexandre Sébastien Kitanidis, Elena De Momi
2020 — conf
Understanding Automatic Pneumonia Classification Using Chest X-Ray Images.
AI*IA
Pierangela Bruno, Francesco Calimeri
2019 J jnl
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders.
CoRR
Francesco Calimeri, Francesco Cauteruccio, Luca Cinelli, Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier
2019 J jnl
ASP-Core-2 Input Language Format.
CoRR
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019 — conf
An ASP-based Approach for Optimizing DLV Evaluation.
CILC
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
2019 — ch.
Blood Vessel Segmentation in Retinal Fundus Images Using Hypercube NeuroEvolution of Augmenting Topologies (HyperNEAT).
Quantifying and Processing Biomedical and Behavioral Signals
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
2019 B conf
Enhancing DLV for Large-Scale Reasoning.
LPNMR
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 J jnl
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput.
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 J jnl
Incremental Answer Set Programming with Overgrounding.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2019 — conf
Large Scale DLV: Preliminary Results.
CILC
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 — conf
Large-Scale Reasoning on Expressive Horn Ontologies.
Datalog
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 B ed.
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
JELIA
Francesco Calimeri, Nicola Leone, Marco Manna
2019 J jnl
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
Theory Pract. Log. Program.
Francesco Calimeri, Simona Perri, Jessica Zangari
2019 — conf
Prediction of Multiple Sclerosis Patient Disability from Structural Connectivity using Convolutional Neural Networks.
EMBC
Aldo Marzullo, Gabriel Kocevar, Claudio Stamile, Francesco Calimeri, Giorgio Terracina, Françoise Durand-Dubief, Dominique Sappey-Marinier
2019 — conf
Querying Large Expressive Horn Ontologies.
SEBD
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019 C conf
Using Heatmaps for Deep Learning based Disease Classification.
CIBCB
Pierangela Bruno, Francesco Calimeri
2018 — conf
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.
AI*IA
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Armando Pezzimenti, Andrea Tucci
2018 — conf
Classification and Survival Prediction in Diffuse Large B-Cell Lymphoma by Gene Expression Profiling.
LOD
Pierangela Bruno, Francesco Calimeri, Aldo Marzullo
2018 J jnl
Developing ASP Programs with ASPIDE and LoIDE.
Künstliche Intell.
Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
2018 J jnl
Efficiently Coupling the I-DLV Grounder with ASP Solvers.
CoRR
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari
2018 B conf
Graph based neural networks for automatic classification of multiple sclerosis clinical courses.
ESANN
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
2018 — conf
How Modern Deductive Database Systems Can Enhance Data Integration.
SEBD
Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari
2018 B conf
Integrating Rule-Based AI Tools into Mainstream Game Development.
RuleML+RR
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2018 C conf
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report.
PADL
Stefano Germano, Francesco Calimeri, Eliana Palermiti
2018 B conf
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis.
RuleML+RR
Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
2018 C conf
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
PADL
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2018 J jnl
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
CoRR
Francesco Calimeri, Simona Perri, Jessica Zangari
2018 C ed.
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings
PADL
Francesco Calimeri, Kevin W. Hamlen, Nicola Leone
2018 C conf
Reasoning over Ontologies with DLV.
IC3K
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 — conf
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation.
RiCeRcA@AI*IA
Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea
2018 J jnl
The ASP System DLV: Advancements and Applications.
Künstliche Intell.
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018 — conf
Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images.
AI*IA
Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea
2017 J jnl
A Framework for Easing the Development of Applications Embedding Answer Set Programming.
CoRR
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2017 B conf
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT).
CEC
Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francesco Calimeri, Sabine Van Huffel
2017 — conf
BioHIPI: Biomedical Hadoop Image Processing Interface.
MOD
Francesco Calimeri, Mirco Caracciolo, Aldo Marzullo, Claudio Stamile
2017 — conf
Biomedical Data Augmentation Using Generative Adversarial Neural Networks.
ICANN (2)
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
2017 — conf
External Computations and Interoperability in the New DLV Grounder.
AI*IA
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 — conf
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.
RCRA@AI*IA
Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri
2017 J jnl
I-DLV: The new intelligent grounder of DLV.
Intelligenza Artificiale
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari
2017 J jnl
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report.
CoRR
Stefano Germano, Francesco Calimeri, Eliana Palermiti
2017 — conf
S-rep model for fundus image analysis.
ISSPIT
Francesco Calimeri, Claudio Starnile, Luca Surace
2017 — conf
Semantic Similarities between Locations based on Ontology.
RASLAN
Moiz Khan Sherwani, Petr Sojka, Francesco Calimeri
2017 B conf
The ASP System DLV2.
LPNMR
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2016 C conf
A framework for easing the development of applications embedding answer set programming.
PPDP
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
2016 J jnl
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
2016 — conf
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios.
AI*IA
Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
2016 J jnl
Design and results of the Fifth Answer Set Programming Competition.
Artif. Intell.
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2016 — conf
Optic Disc Detection Using Fine Tuned Convolutional Neural Networks.
SITIS
Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
2015 B ed.
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
LPNMR
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
2014 J jnl
The Design of the Fifth Answer Set Programming Competition.
CoRR
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca
2014 J jnl
The third open answer set programming competition.
Theory Pract. Log. Program.
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
2014 J jnl
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
CoRR
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2013 — conf
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
PAI@AI*IA
Francesco Calimeri, Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Anton Wimmer
2013 — conf
Answer Set Programming and Declarative Problem Solving in Game AIs.
PAI@AI*IA
Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2012 J jnl
The Answer Set Programming Competition.
AI Mag.
Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca
2012 J jnl
The third open Answer Set Programming competition
CoRR
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca
2011 J jnl
Finitely recursive programs: Decidability and bottom-up computation.
AI Commun.
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2011 B conf
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
LPNMR
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011 J jnl
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res.
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2010 — ch.
Answer Set Programming.
25 Years GULP
Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca
2010 A* conf
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.
AAAI
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009 B conf
An ASP System with Functions, Lists, and Sets.
LPNMR
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009 B conf
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.
LPNMR
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2008 B conf
Computable Functions in ASP: Theory and Implementation.
ICLP
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2008 J jnl
Experimenting with parallelism for the instantiation of ASP programs.
J. Algorithms
Francesco Calimeri, Simona Perri, Francesco Ricca
2007 J jnl
External sources of knowledge and value invention in logic programming.
Ann. Math. Artif. Intell.
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
2006 B conf
Decidable Fragments of Logic Programming with Value Invention.
JELIA
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
2006 J jnl
Pruning Operators for Disjunctive Logic Programming Systems.
Fundam. Informaticae
Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
2006 J jnl
Template programs for Disjunctive Logic Programming: An operational semantics.
AI Commun.
Francesco Calimeri, Giovambattista Ianni
2005 A* conf
Declarative and Computational Properties of Logic Programs with Aggregates.
IJCAI
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2005 B conf
External Sources of Computation for Answer Set Solvers.
LPNMR
Francesco Calimeri, Giovambattista Ianni
2004 B conf
A System with Template Answer Set Programs.
JELIA
Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro
2004 — conf
An agent system reasoning about the web and the user.
WWW (Alternate Track Papers & Posters)
Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
2004 — conf
Enhancing answer set programming with templates.
NMR
Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri
2004 B conf
New DLV Features for Data Integration.
JELIA
Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
2004 J jnl
Parametric external predicates for the DLV System
CoRR
Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro
2004 J jnl
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR
Francesco Calimeri, Nicola Leone
2003 — conf
Enhancing Disjunctive Logic Programming for Ontology Specification.
APPIA-GULP-PRODE
Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo
2003 — conf
OntoDLP: a Logic Formalism for Knowledge Representation.
Answer Set Programming
Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo
2003 — conf
Reasoning about the Semantic Web using Answer Set Programming.
APPIA-GULP-PRODE
Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
2002 — conf
Pruning operators for answer set programming systems.
NMR
Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
2002 B conf
The DLV System.
JELIA
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres