Search Results - "Calimeri, Francesco"

Towards Neurosymbolic AI: Hybrid Models for Coupling Deductive and Inductive Reasoning, Special Issue Featuring Extended Papers from HYDRA 2024.

Authors: Bruno, Pierangela Calimeri, Francesco Cauteruccio, Francesco et al.

Source: Intelligenza Artificiale. Aug2025, Vol. 19 Issue 2, p83-84. 2p.

Efficient compliance checking of RDF data.

Authors: Robaldo, Livio Pacenza, Francesco Zangari, Jessica et al.

Source: Journal of Logic & Computation; Dec2023, Vol. 33 Issue 8, p1753-1776, 24p

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

Authors: Bruno, Pierangela Calimeri, Francesco Marte, Cinzia et al.

Source: Intelligenza Artificiale. Feb2026, Vol. 20 Issue 1, p93-107. 15p.

Assessing vascular complexity of PAOD patients by deep learning-based segmentation and fractal dimension.

Authors: Bruno, Pierangela Spadea, Maria Francesca Scaramuzzino, Salvatore et al.

Source: Neural Computing & Applications; Dec2022, Vol. 34 Issue 24, p22015-22022, 8p

Fine-tuning LLMs for answer set programming.

Authors: Coppolillo, Erica Calimeri, Francesco Manco, Giuseppe et al.

Source: Journal of Intelligent Information Systems; Apr2026, Vol. 64 Issue 2, p653-685, 33p

Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020).

Authors: Calimeri, Francesco Perri, Simona Zumpano, Ester

Source: Journal of Logic & Computation; Mar2022, Vol. 32 Issue 2, p175-177, 3p

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

Authors: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO et al.

Source: Theory & Practice of Logic Programming. May2025, Vol. 25 Issue 3, p281-303. 23p.

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

Authors: Calimeri, Francesco Leone, Nicola Melissari, Giovanni et al.

Source: Algorithms. Mar2023, Vol. 16 Issue 3, p159. 14p.

Continual Learning in Medicine: A Systematic Literature Review: Continual Learning in Medicine: A Systematic Literature Review: P. Bruno et al.

Authors: Bruno, Pierangela Quarta, Alessandro Calimeri, Francesco

Source: Neural Processing Letters; Feb2025, Vol. 57 Issue 1, p1-21, 21p

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.

Authors: Robaldo, Livio Batsakis, Sotiris Calegari, Roberta et al.

Source: Artificial Intelligence & Law; Jun2024, Vol. 32 Issue 2, p505-555, 51p

Lesion segmentation in lung CT scans using unsupervised adversarial learning.

Authors: Sherwani, Moiz Khan Marzullo, Aldo De Momi, Elena et al.

Source: Medical & Biological Engineering & Computing; Nov2022, Vol. 60 Issue 11, p3203-3215, 13p, 2 Color Photographs, 1 Black and White Photograph, 3 Diagrams, 6 Charts

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

Authors: Mastria, Elena Pacenza, Francesco Zangari, Jessica et al.

Source: Big Data & Cognitive Computing; Sep2023, Vol. 7 Issue 3, p135, 18p

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

Authors: CALIMERI, FRANCESCO MANNA, MARCO MASTRIA, ELENA et al.

Source: Theory & Practice of Logic Programming. Sep2021, Vol. 21 Issue 5, p610-628. 19p.

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

Authors: CALIMERI, FRANCESCO CAUTERUCCIO, FRANCESCO CINELLI, LUCA et al.

Source: Theory & Practice of Logic Programming. Jan2021, Vol. 21 Issue 1, p80-124. 45p.

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

Authors: Segato, Alice Calimeri, Francesco Testa, Irene et al.

Source: Autonomous Robots; Jun2022, Vol. 46 Issue 5, p645-666, 22p

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

Authors: Stella, Fabio Calimeri, Francesco Dragoni, Mauro

Source: Journal of Biomedical Informatics; Sep2025, Vol. 169, pN.PAG-N.PAG, 1p

Artificial intelligence for brain diseases: A systematic review.

Authors: Segato, Alice Marzullo, Aldo Calimeri, Francesco et al.

Source: APL Bioengineering; Dec2020, Vol. 4 Issue 4, p1-35, 35p

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

Authors: Calimeri, Francesco Fuscà, Davide Germano, Stefano et al.

Source: New Generation Computing; Jan2019, Vol. 37 Issue 1, p29-65, 37p

ASP-Core-2 Input Language Format.

Authors: CALIMERI, FRANCESCO FABER, WOLFGANG GEBSER, MARTIN et al.

Source: Theory & Practice of Logic Programming; Mar2020, Vol. 20 Issue 2, p294-309, 16p

Efficiently Coupling the I-DLV Grounder with ASP Solvers.

Authors: CALIMERI, FRANCESCO DODARO, CARMINE FUSCÀ, DAVIDE et al.

Source: Theory & Practice of Logic Programming; Mar2020, Vol. 20 Issue 2, p205-224, 20p