Cinzia Marte

According to our database, Cinzia Marte authored at least 16 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

ASP-based approaches for solving the nuclear medicine scheduling problem.

Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi

J. Log. Comput., 2026

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

Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri

Intelligenza Artificiale, 2026

2025

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem.

Cinzia Marte, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea

J. Medical Syst., December, 2025

An LBBD Approach for Solving the Chemotherapy Treatment Scheduling Problem.

Simone Caruso, Carmine Dodaro, Marco Maratea, Cinzia Marte, Marco Mochi

Proceedings of the Artificial Intelligence for Healthcare, and Hybrid Models for Coupling Deductive and Inductive Reasoning, 2025

2024

Operating room scheduling via answer set programming: Improved encoding and test on real data.

Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu

J. Log. Comput., 2024

Recent Answer Set Programming Applications to Scheduling Problems in Digital Health.

Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

Nuclear Medicine Rescheduling Problem: A Logic-based Approach.

Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi

Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024

Nuclear Medicine Scheduling via Answer Set Programming.

Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi

Proceedings of the 39th Italian Conference on Computational Logic, 2024

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

Pierangela Bruno, Francesco Calimeri, Francesca Filice, Cinzia Marte, Simona Perri

Proceedings of the AIxIA 2024 - Advances in Artificial Intelligence, 2024

2022

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

Pierangela Bruno, Francesco Calimeri, Cinzia Marte

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Dyadic Existential Rules.

Georg Gottlob, Marco Manna, Cinzia Marte

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

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

Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

2020

Understanding Automatic COVID-19 Classification Using Chest X-ray images.

Pierangela Bruno, Cinzia Marte, Francesco Calimeri

Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019

Space Bounds in Ontological Reasoning via Extended Bell Numbers.

Cinzia Marte

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Extending Bell Numbers for Parsimonious Chase Estimation.

Giovanni Amendola, Cinzia Marte

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2017

Document Layout Analysis for Semantic Information Extraction.

Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017