All Stories

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

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

    Francesco Calimeri

  2. 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

  3. 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

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

    Article • January 2022, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2022, Springer Science + Business Media

    Francesco Calimeri

  6. 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

  7. 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

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

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

    Francesco Calimeri

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

    Article • Bioengineering, February 2021, MDPI AG

    Francesco Calimeri

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

    Article • January 2021, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2021, Springer Science + Business Media

    Francesco Calimeri

  12. Artificial intelligence for brain diseases: A systematic review

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

    Francesco Calimeri

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

    Article • January 2020, Springer Science + Business Media

    Francesco Calimeri

  14. Reasoning over Ontologies with DLV

    Article • January 2020, Springer Science + Business Media

    Francesco Calimeri

  15. ASP-Core-2 Input Language Format

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

    Francesco Calimeri

  16. 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

  17. Incremental Answer Set Programming with Overgrounding

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

    Francesco Calimeri

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

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

    Francesco Calimeri

  19. Using Heatmaps for Deep Learning based Disease Classification

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

    Francesco Calimeri

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

    Article • Frontiers in Neuroscience, June 2019, Frontiers

    Francesco Calimeri

  21. Optimizing Answer Set Computation via Heuristic-Based Decomposition

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

    Francesco Calimeri

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

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  23. Enhancing DLV for Large-Scale Reasoning

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  25. Logic Programming and Nonmonotonic Reasoning

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  26. Logics in Artificial Intelligence

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

  27. Machine Learning, Optimization, and Data Science

    Article • January 2019, Springer Science + Business Media

    Francesco Calimeri

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

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

    Francesco Calimeri

  29. 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

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

    Article • August 2018, Springer Science + Business Media

    Francesco Calimeri

  31. Developing ASP Programs with ASPIDE and LoIDE

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

    Francesco Calimeri

  32. The ASP System DLV: Advancements and Applications

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

    Francesco Calimeri

  33. AI*IA 2018 – Advances in Artificial Intelligence

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  37. Machine Learning, Optimization, and Big Data

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  39. Practical Aspects of Declarative Languages

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  40. Rules and Reasoning

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2018, Springer Science + Business Media

    Francesco Calimeri

  42. Optimizing Answer Set Computation via Heuristic-Based Decomposition

    Article • December 2017, Springer Science + Business Media

    Francesco Calimeri

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

    Article • December 2017, Springer Science + Business Media

    Francesco Calimeri

  44. BioHIPI: Biomedical Hadoop Image Processing Interface

    Article • December 2017, Springer Science + Business Media

    Francesco Calimeri

  45. S-rep model for fundus image analysis

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

    Francesco Calimeri

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

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

    Francesco Calimeri

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

    Article • Intelligenza Artificiale The international journal of the AIxIA, April 2017, IOS Press

    Francesco Calimeri

  48. AI*IA 2017 Advances in Artificial Intelligence

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  49. Artificial Neural Networks and Machine Learning – ICANN 2017

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  50. Biomedical Data Augmentation Using Generative Adversarial Neural Networks

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  51. External Computations and Interoperability in the New DLV Grounder

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  52. Logic Programming and Nonmonotonic Reasoning

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

  53. The ASP System DLV2

    Article • January 2017, Springer Science + Business Media

    Francesco Calimeri

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

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

    Francesco Calimeri

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

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

    Francesco Calimeri

  56. 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

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

    Article • Artificial Intelligence, February 2016, Elsevier

    Francesco Calimeri

  58. AI*IA 2016 Advances in Artificial Intelligence

    Article • January 2016, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2016, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2016, Springer Science + Business Media

    Francesco Calimeri

  61. Optic Disc Detection Using Fine Tuned Convolutional Neural Networks

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

    Francesco Calimeri

  62. Logic Programming and Nonmonotonic Reasoning

    Article • January 2015, Springer Science + Business Media

    Francesco Calimeri

  63. 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

  64. Logic Programming and Nonmonotonic Reasoning

    Article • January 2013, Springer Science + Business Media

    Francesco Calimeri

  65. The Fourth Answer Set Programming Competition: Preliminary Report

    Article • January 2013, Springer Science + Business Media

    Francesco Calimeri

  66. The third open answer set programming competition

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

    Francesco Calimeri

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

    Article • AI Communications, January 2011, IOS Press

    Francesco Calimeri

  68. Logic Programming and Nonmonotonic Reasoning

    Article • January 2011, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2011, Springer Science + Business Media

    Francesco Calimeri

  70. A 25-Year Perspective on Logic Programming

    Article • January 2010

    Dr Agostino Dovier, Francesco Calimeri

  71. Answer Set Programming

    Article • January 2010, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2009, Springer Science + Business Media

    Francesco Calimeri

  73. Logic Programming and Nonmonotonic Reasoning

    Article • January 2009, Springer Science + Business Media

    Francesco Calimeri

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

    Article • January 2009, Springer Science + Business Media

    Francesco Calimeri

  75. Logic Programming

    Article • January 2008, Springer Science + Business Media

    Francesco Calimeri

  76. Computable Functions in ASP: Theory and Implementation

    Article • January 2008, Springer Science + Business Media

    Francesco Calimeri

  77. Experimenting with parallelism for the instantiation of ASP programs

    Article • Journal of Algorithms, January 2008, Elsevier

    Francesco Calimeri

  78. 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

  79. Decidable Fragments of Logic Programming with Value Invention

    Article • January 2006, Springer Science + Business Media

    Francesco Calimeri

  80. Logics in Artificial Intelligence

    Article • January 2006, Springer Science + Business Media

    Francesco Calimeri

  81. Logic Programming and Nonmonotonic Reasoning

    Article • January 2005, Springer Science + Business Media

    Francesco Calimeri

  82. External Sources of Computation for Answer Set Solvers

    Article • January 2005, Springer Science + Business Media

    Francesco Calimeri

  83. A System with Template Answer Set Programs

    Article • January 2004, Springer Science + Business Media

    Francesco Calimeri

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

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

    Francesco Calimeri

  85. Logics in Artificial Intelligence

    Article • January 2004, Springer Science + Business Media

    Francesco Calimeri

  86. New DLV Features for Data Integration

    Article • January 2004, Springer Science + Business Media

    Francesco Calimeri

  87. The DLV System

    Article • January 2002, Springer Science + Business Media

    Francesco Calimeri

  88. Logics in Artificial Intelligence

    Article • January 2002, Springer Science + Business Media

    Francesco Calimeri