Cinzia Marte

18 papers B 3Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
ASP-based approaches for solving the nuclear medicine scheduling problem.
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
2026 J jnl
Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming.
Intelligenza Artificiale
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
2025 J jnl
Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem.
J. Medical Syst.
Cinzia Marte, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2024 J jnl
Dyadic Existential Rules.
Theory Pract. Log. Program.
Georg Gottlob, Marco Manna, Cinzia Marte
2024 — conf
IDADA: A Blended Inductive-Deductive Approach for Data Augmentation.
AI*IA
Pierangela Bruno, Francesco Calimeri, Francesca Filice, Cinzia Marte, Simona Perri
2024 — conf
Nuclear Medicine Rescheduling Problem: A Logic-based Approach.
HC@AIxIA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
2024 — conf
Nuclear Medicine Scheduling via Answer Set Programming.
CILC
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
2024 J jnl
Operating room scheduling via answer set programming: Improved encoding and test on real data.
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu
2024 — conf
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma
2023 J jnl
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming.
CoRR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Simona Perri
2023 J jnl
Dyadic Existential Rules.
CoRR
Georg Gottlob, Marco Manna, Cinzia Marte
2022 B conf
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models.
LPNMR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte
2022 — conf
Dyadic Existential Rules.
Datalog
Georg Gottlob, Marco Manna, Cinzia Marte
2021 B conf
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images.
RuleML+RR
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna
2020 — conf
Understanding Automatic COVID-19 Classification Using Chest X-ray images.
XAI.it@AI*IA
Pierangela Bruno, Cinzia Marte, Francesco Calimeri
2019 B conf
Extending Bell Numbers for Parsimonious Chase Estimation.
JELIA
Giovanni Amendola, Cinzia Marte
2019 — conf
Space Bounds in Ontological Reasoning via Extended Bell Numbers.
SEBD
Cinzia Marte
2017 — conf
Document Layout Analysis for Semantic Information Extraction.
AI*IA
Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte