Marco Mochi

28 papers A* 1B 1Journal 12Unranked 13
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint).
AAAI
Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
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
2025 J jnl
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.
Artif. Intell.
Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2025 J jnl
Improving ASP-Based ORS Schedules through Machine Learning Predictions.
Theory Pract. Log. Program.
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
2025 J jnl
Improving ASP-based ORS Schedules through Machine Learning Predictions.
CoRR
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
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
2025 — —
Solving and Explaining Scheduling problems in Digital Health using Logic Programming.
Marco Mochi
2024 J jnl
CNL2ASP: Converting Controlled Natural Language Sentences into ASP.
Theory Pract. Log. Program.
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
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
2024 J jnl
Scheduling pre-operative assessment clinic with answer set programming.
J. Log. Comput.
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2023 — conf
A Simple Proof-Theoretic Characterization of Stable Models.
IPS-RCRA-SPIRIT@AI*IA
Enrico Giunchiglia, Marco Maratea, Marco Mochi
2023 J jnl
CNL2ASP: converting controlled natural language sentences into ASP.
CoRR
Simone Caruso, Carmine Dodaro, Marco Maratea, Marco Mochi, Francesco Riccio
2023 B conf
Comparing Planning Domain Models Using Answer Set Programming.
JELIA
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
2023 — conf
Master Surgical Scheduling via Answer Set Programming Tested on Real Data.
HC@AIxIA
Giuseppe Galatà, Marco Maratea, Marco Mochi
2023 J jnl
Master Surgical Scheduling via Answer Set Programming.
J. Log. Comput.
Marco Mochi, Giuseppe Galatà, Marco Maratea
2023 — conf
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria.
CILC
Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
2022 — conf
An ASP-based Approach to Master Surgical Scheduling.
CILC
Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten
2022 — conf
Planning and Scheduling in Digital Health with Answer Set Programming.
ICLP Technical Communications / Doctoral Consortium
Marco Mochi
2021 — conf
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic.
AI*IA
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2021 J jnl
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
CoRR
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
2021 J jnl
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
2021 — conf
An ASP-based solution to the Operating Room Scheduling with care units.
IPS-RCRA@AI*IA
Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro
2021 — conf
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.
IPS-RCRA@AI*IA
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
2020 — conf
Answer Set Programming in Healthcare: Extended Overview.
IPS-RCRA@AI*IA
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
2020 — conf
Chemotherapy Treatment Scheduling via Answer Set Programming.
CILC
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro