All Stories

  1. AI-Assisted Pre-Reporting for Head CT Case Prioritization in High-Throughput Healthcare Scenarios

    Article • June 2026, ACM (Association for Computing Machinery)

    Francesco Calimeri

  2. An Approach Leveraging Deep Learning and Stream Reasoning for Dynamic Task Assignments Balancing Productivity and Well Being

    Article • January 2026, Springer Science + Business Media

    Francesco Calimeri

  3. Integrating radiomics and real-world data to predict immune checkpoint inhibitor efficacy in advanced non-small-cell lung cancer

    Article • ESMO Real World Data and Digital Oncology, December 2025, Elsevier

    Francesco Calimeri

  4. Learning from multiple data sources for decision making in health care

    Article • Journal of Biomedical Informatics, September 2025, Elsevier

    Francesco Calimeri

  5. Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming

    Article • Intelligenza Artificiale, August 2025, SAGE Publications

    Francesco Calimeri

  6. ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding

    Article • Theory and Practice of Logic Programming, May 2025, Cambridge University Press

    Francesco Calimeri

  7. IDADA: A Blended Inductive-Deductive Approach for Data Augmentation

    Article • January 2025, Springer Science + Business Media

    Francesco Calimeri

  8. Underdiagnosis Bias Mitigation With Expert Foundation Model’s Representation

    Article • IEEE Access, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  9. Hybrid Models for Coupling Deductive and Inductive Reasoning

    Article • January 2025, Springer Science + Business Media

    Francesco Calimeri

  10. Monitoring and Scheduling of Semiconductor Failure Analysis Labs

    Article • October 2024, Springer Science + Business Media

    Francesco Calimeri

  11. Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events

    Article • September 2024, ACM (Association for Computing Machinery)

    Francesco Calimeri

  12. EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring

    Article • Big Data and Cognitive Computing, July 2023, MDPI AG

    Francesco Calimeri

  13. ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications

    Article • Algorithms, March 2023, MDPI AG

    Francesco Calimeri

  14. Radiomics-Based Machine Learning Model for Predicting Overall and Progression-Free Survival in Rare Cancer: A Case Study for Primary CNS Lymphoma Patients

    Article • Bioengineering, February 2023, MDPI AG

    Francesco Calimeri

  15. Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning

    Article • January 2023, Springer Science + Business Media

    Francesco Calimeri

  16. ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

    Article • September 2022, ACM (Association for Computing Machinery)

    Francesco Calimeri, Simona Perri, Jessica Zangari, Francesco Pacenza

  17. A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments

    Article • Autonomous Robots, May 2022, Springer Science + Business Media

    Francesco Calimeri

  18. DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models

    Article • January 2022, Springer Science + Business Media

    Francesco Calimeri

  19. Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

    Article • January 2022, Springer Science + Business Media

    Francesco Calimeri

  20. The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities

    Article • January 2022, Springer Science + Business Media

    Francesco Calimeri

  21. I-DLV-sr: A Stream Reasoning System based on I-DLV

    Article • Theory and Practice of Logic Programming, September 2021, Cambridge University Press

    Francesco Calimeri

  22. Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)

    Article • Theory and Practice of Logic Programming, July 2021, Cambridge University Press

    Francesco Calimeri

  23. Towards realistic laparoscopic image generation using image-domain translation

    Article • Computer Methods and Programs in Biomedicine, March 2021, Elsevier

    Francesco Calimeri

  24. An Open-Source COVID-19 CT Dataset with Automatic Lung Tissue Classification for Radiomics

    Article • Bioengineering, February 2021, MDPI AG

    Francesco Calimeri

  25. Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images

    Article • January 2021, Springer Science + Business Media

    Francesco Calimeri

  26. Understanding Automatic Pneumonia Classification Using Chest X-Ray Images

    Article • January 2021, Springer Science + Business Media

    Francesco Calimeri

  27. Artificial intelligence for brain diseases: A systematic review

    Article • APL Bioengineering, December 2020, American Institute of Physics

    Francesco Calimeri

  28. Evaluating the Impact of Training Loss on MR to Synthetic CT Conversion

    Article • January 2020, Springer Science + Business Media

    Francesco Calimeri

  29. Reasoning over Ontologies with DLV

    Article • January 2020, Springer Science + Business Media

    Francesco Calimeri

  30. ASP-Core-2 Input Language Format

    Article • Theory and Practice of Logic Programming, December 2019, Cambridge University Press

    Francesco Calimeri

  31. A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

    Article • Theory and Practice of Logic Programming, December 2019, Cambridge University Press

    Francesco Calimeri

  32. Incremental Answer Set Programming with Overgrounding

    Article • Theory and Practice of Logic Programming, September 2019, Cambridge University Press

    Francesco Calimeri

  33. Prediction of Multiple Sclerosis Patient Disability from Structural Connectivity using Convolutional Neural Networks

    Article • July 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  34. Using Heatmaps for Deep Learning based Disease Classification

    Article • July 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  35. Classification of Multiple Sclerosis Clinical Profiles via Graph Convolutional Neural Networks

    Article • Frontiers in Neuroscience, June 2019, Frontiers

    Francesco Calimeri

  36. Optimizing Answer Set Computation via Heuristic-Based Decomposition

    Article • Theory and Practice of Logic Programming, February 2019, Cambridge University Press

    Francesco Calimeri

  37. Classification and Survival Prediction in Diffuse Large B-Cell Lymphoma by Gene Expression Profiling

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  38. Enhancing DLV for Large-Scale Reasoning

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  39. Inducing Clinical Course Variations in Multiple Sclerosis White Matter Networks

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  40. Logic Programming and Nonmonotonic Reasoning

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  41. Logics in Artificial Intelligence

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  42. Machine Learning, Optimization, and Data Science

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  43. Efficiently Coupling the I-DLV Grounder with ASP Solvers

    Article • Theory and Practice of Logic Programming, December 2018, Cambridge University Press

    Francesco Calimeri

  44. Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

    Article • New Generation Computing, September 2018, Springer Science + Business Media

    Francesco Calimeri

  45. Blood Vessel Segmentation in Retinal Fundus Images Using Hypercube NeuroEvolution of Augmenting Topologies (HyperNEAT)

    Article • August 2018, Springer Science + Business Media

    Francesco Calimeri

  46. Developing ASP Programs with ASPIDE and LoIDE

    Article • KI - Künstliche Intelligenz, May 2018, Springer Science + Business Media

    Francesco Calimeri

  47. The ASP System DLV: Advancements and Applications

    Article • KI - Künstliche Intelligenz, May 2018, Springer Science + Business Media

    Francesco Calimeri

  48. AI*IA 2018 – Advances in Artificial Intelligence

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  49. Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  50. Correction to: Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  51. Integrating Rule-Based AI Tools into Mainstream Game Development

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  52. Machine Learning, Optimization, and Big Data

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  53. Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  54. Practical Aspects of Declarative Languages

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  55. Rules and Reasoning

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  56. Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  57. Optimizing Answer Set Computation via Heuristic-Based Decomposition

    Article • December 2017, Springer Science + Business Media

    Francesco Calimeri

  58. LoIDE: A Web-Based IDE for Logic Programming Preliminary Report

    Article • December 2017, Springer Science + Business Media

    Francesco Calimeri

  59. BioHIPI: Biomedical Hadoop Image Processing Interface

    Article • December 2017, Springer Science + Business Media

    Francesco Calimeri

  60. S-rep model for fundus image analysis

    Article • December 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  61. A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters

    Article • November 2017, MDPI AG

    Francesco Calimeri

  62. A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT)

    Article • June 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  63. I-DLV: The new intelligent grounder of DLV

    Article • Intelligenza Artificiale, April 2017, IOS Press

    Francesco Calimeri

  64. AI*IA 2017 Advances in Artificial Intelligence

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  65. Artificial Neural Networks and Machine Learning – ICANN 2017

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  66. Biomedical Data Augmentation Using Generative Adversarial Neural Networks

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  67. External Computations and Interoperability in the New DLV Grounder

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  68. Logic Programming and Nonmonotonic Reasoning

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  69. The ASP System DLV2

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  70. A framework for easing the development of applications embedding answer set programming

    Article • September 2016, ACM (Association for Computing Machinery)

    Francesco Calimeri

  71. Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming

    Article • September 2016, ACM (Association for Computing Machinery)

    Francesco Calimeri

  72. Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases

    Article • IEEE Transactions on Computational Intelligence and AI in Games, June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  73. Design and results of the Fifth Answer Set Programming Competition

    Article • Artificial Intelligence, February 2016, Elsevier

    Francesco Calimeri

  74. AI*IA 2016 Advances in Artificial Intelligence

    Article • January 2016, Springer Science + Business Media

    Francesco Calimeri

  75. Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

    Article • January 2016, Springer Science + Business Media

    Francesco Calimeri

  76. $$\mathcal {I}$$ -dlv: The New Intelligent Grounder of dlv

    Article • January 2016, Springer Science + Business Media

    Francesco Calimeri

  77. Optic Disc Detection Using Fine Tuned Convolutional Neural Networks

    Article • January 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Francesco Calimeri

  78. Logic Programming and Nonmonotonic Reasoning

    Article • January 2015, Springer Science + Business Media

    Francesco Calimeri

  79. Novel Method for Automated Analysis of Retinal Images: Results in Subjects with Hypertensive Retinopathy and CADASIL

    Article • BioMed Research International, January 2015, Hindawi Publishing Corporation

    Francesco Calimeri

  80. Logic Programming and Nonmonotonic Reasoning

    Article • January 2013, Springer Science + Business Media

    Francesco Calimeri

  81. The Fourth Answer Set Programming Competition: Preliminary Report

    Article • January 2013, Springer Science + Business Media

    Francesco Calimeri

  82. The third open answer set programming competition

    Article • Theory and Practice of Logic Programming, September 2012, Cambridge University Press

    Francesco Calimeri

  83. Finitely recursive programs: Decidability and bottom–up computation

    Article • AI Communications, January 2011, IOS Press

    Francesco Calimeri

  84. Logic Programming and Nonmonotonic Reasoning

    Article • January 2011, Springer Science + Business Media

    Francesco Calimeri

  85. The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

    Article • January 2011, Springer Science + Business Media

    Francesco Calimeri

  86. A 25-Year Perspective on Logic Programming

    Article • January 2010

    Dr Agostino Dovier, Francesco Calimeri

  87. Answer Set Programming

    Article • January 2010, Springer Science + Business Media

    Francesco Calimeri

  88. An ASP System with Functions, Lists, and Sets

    Article • January 2009, Springer Science + Business Media

    Francesco Calimeri

  89. Logic Programming and Nonmonotonic Reasoning

    Article • January 2009, Springer Science + Business Media

    Francesco Calimeri

  90. Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

    Article • January 2009, Springer Science + Business Media

    Francesco Calimeri

  91. Logic Programming

    Article • January 2008, Springer Science + Business Media

    Francesco Calimeri

  92. Computable Functions in ASP: Theory and Implementation

    Article • January 2008, Springer Science + Business Media

    Francesco Calimeri

  93. Experimenting with parallelism for the instantiation of ASP programs

    Article • Journal of Algorithms, January 2008, Elsevier

    Francesco Calimeri

  94. External sources of knowledge and value invention in logic programming

    Article • Annals of Mathematics and Artificial Intelligence, July 2007, Springer Science + Business Media

    Francesco Calimeri

  95. Decidable Fragments of Logic Programming with Value Invention

    Article • January 2006, Springer Science + Business Media

    Francesco Calimeri

  96. Logics in Artificial Intelligence

    Article • January 2006, Springer Science + Business Media

    Francesco Calimeri

  97. Logic Programming and Nonmonotonic Reasoning

    Article • January 2005, Springer Science + Business Media

    Francesco Calimeri

  98. External Sources of Computation for Answer Set Solvers

    Article • January 2005, Springer Science + Business Media

    Francesco Calimeri

  99. A System with Template Answer Set Programs

    Article • January 2004, Springer Science + Business Media

    Francesco Calimeri

  100. An agent system reasoning about the web and the user

    Article • January 2004, ACM (Association for Computing Machinery)

    Francesco Calimeri

  101. Logics in Artificial Intelligence

    Article • January 2004, Springer Science + Business Media

    Francesco Calimeri

  102. New DLV Features for Data Integration

    Article • January 2004, Springer Science + Business Media

    Francesco Calimeri

  103. An agent system reasoning about the web and the user

    Article • January 2004, ACM (Association for Computing Machinery)

    Francesco Calimeri

  104. The DLV System

    Article • January 2002, Springer Science + Business Media

    Francesco Calimeri

  105. Logics in Artificial Intelligence

    Article • January 2002, Springer Science + Business Media

    Francesco Calimeri