Francesco Calimeri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
16
Active years
2002–2024
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | LLASP: Fine-tuning Large Language Models for Answer Set Programming. | Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca |
| 2024 | LPNMR | Monitoring and Scheduling of Semiconductor Failure Analysis Labs. | Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin |
| 2024 | PADL | Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2024 | PPDP | Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. | Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina |
| 2022 | LPNMR | DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models. | Pierangela Bruno, Francesco Calimeri, Cinzia Marte |
| 2022 | LPNMR | A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images. | Marco Scarfone, Pierangela Bruno, Francesco Calimeri |
| 2022 | PADL | Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. | Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca |
| 2022 | PPDP | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2021 | ICRA | Optimized 3D path planner for steerable catheters with deductive reasoning. | Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi |
| 2020 | ICPR | A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture. | Jorge F. Lazo, Aldo Marzullo, Sara Moccia, Michele Catellani, Benoit Rosa, Francesco Calimeri, Michel de Mathelin, Elena De Momi |
| 2019 | CIBCB | Using Heatmaps for Deep Learning based Disease Classification. | Pierangela Bruno, Francesco Calimeri |
| 2019 | LPNMR | Enhancing DLV for Large-Scale Reasoning. | 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 |
| 2018 | ESANN | Graph based neural networks for automatic classification of multiple sclerosis clinical courses. | Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina |
| 2018 | IC3K | Reasoning over Ontologies with DLV. | 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 | PADL | Optimizing Answer Set Computation via Heuristic-Based Decomposition. | Francesco Calimeri, Davide Fusc, Simona Perri, Jessica Zangari |
| 2018 | PADL | LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. | Stefano Germano, Francesco Calimeri, Eliana Palermiti |
| 2017 | CEC | A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT). | Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francesco Calimeri, Sabine Van Huffel |
| 2017 | ICANN | Biomedical Data Augmentation Using Generative Adversarial Neural Networks. | Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina |
| 2017 | LPNMR | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2016 | PPDP | A framework for easing the development of applications embedding answer set programming. | Davide Fusc, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | 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 |
| 2010 | AAAI | Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | LPNMR | Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | LPNMR | An ASP System with Functions, Lists, and Sets. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2008 | ICLP | Computable Functions in ASP: Theory and Implementation. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2006 | JELIA | Decidable Fragments of Logic Programming with Value Invention. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
| 2005 | IJCAI | Declarative and Computational Properties of Logic Programs with Aggregates. | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
| 2005 | LPNMR | External Sources of Computation for Answer Set Solvers. | Francesco Calimeri, Giovambattista Ianni |
| 2004 | JELIA | New DLV Features for Data Integration. | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | JELIA | A System with Template Answer Set Programs. | Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
| 2004 | WWW | An agent system reasoning about the web and the user. | Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |
| 2002 | JELIA | The DLV System. | 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 |