Search Results - "Calimeri, Francesco"

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.

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.

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.

Subjects: Logic programming, Code generators, Language models, Model validation, Machine learning, Constraint programming

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

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

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.

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.

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

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

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.

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

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.

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

Incremental Answer Set Programming with Overgrounding.

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

Source: Theory & Practice of Logic Programming. Sep2019, Vol. 19 Issue 5/6, p957-973. 17p.

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Authors: CALIMERI, FRANCESCO PERRI, SIMONA ZANGARI, JESSICA

Source: Theory & Practice of Logic Programming. Jul2019, Vol. 19 Issue 4, p603-628. 26p.

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

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: The new intelligent grounder of DLV.

Authors: Calimeri, Francesco Fuscà, Davide Perri, Simona et al.

Source: Intelligenza Artificiale. 2017, Vol. 11 Issue 1, p5-24. 20p.