Login / Signup
Marco Mochi
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 18
Top Topics
Causal Theories
Answer Set Programming
Stable Models
Logic Programs
Top Venues
CILC
IPS-RCRA@AI*IA
CoRR
J. Log. Comput.
</>
Publications
</>
Simone Caruso
,
Carmine Dodaro
,
Marco Maratea
,
Marco Mochi
,
Francesco Riccio
CNL2ASP: Converting Controlled Natural Language Sentences into ASP.
Theory Pract. Log. Program.
24 (2) (2024)
Simone Caruso
,
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
Scheduling pre-operative assessment clinic with answer set programming.
J. Log. Comput.
34 (3) (2024)
Carmine Dodaro
,
Giuseppe Galatà
,
Cinzia Marte
,
Marco Maratea
,
Marco Mochi
Nuclear Medicine Scheduling via Answer Set Programming.
CILC
(2024)
Enrico Giunchiglia
,
Marco Maratea
,
Marco Mochi
A Simple Proof-Theoretic Characterization of Stable Models.
IPS-RCRA-SPIRIT@AI*IA
(2023)
Simone Caruso
,
Carmine Dodaro
,
Marco Maratea
,
Marco Mochi
,
Francesco Riccio
CNL2ASP: converting controlled natural language sentences into ASP.
CoRR
(2023)
Marco Scanu
,
Marco Mochi
,
Carmine Dodaro
,
Giuseppe Galatà
,
Marco Maratea
Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria.
CILC
(2023)
Marco Mochi
,
Giuseppe Galatà
,
Marco Maratea
Master Surgical Scheduling via Answer Set Programming.
J. Log. Comput.
33 (8) (2023)
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
Master Surgical Scheduling via Answer Set Programming Tested on Real Data.
HC@AIxIA
(2023)
Lukás Chrpa
,
Carmine Dodaro
,
Marco Maratea
,
Marco Mochi
,
Mauro Vallati
Comparing Planning Domain Models Using Answer Set Programming.
JELIA
(2023)
Marco Mochi
Planning and Scheduling in Digital Health with Answer Set Programming.
ICLP Technical Communications / Doctoral Consortium
(2022)
Linda Cadermatori
,
Giuseppe Galatà
,
Carola Lo Monaco
,
Marco Maratea
,
Marco Mochi
,
Marco Schouten
An ASP-based Approach to Master Surgical Scheduling.
CILC
(2022)
Carmine Dodaro
,
Giuseppe Galatà
,
Andrea Grioni
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
CoRR
(2021)
Simone Caruso
,
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic.
AI*IA
(2021)
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
,
Victoria Morozan
,
Ivan Porro
An ASP-based solution to the Operating Room Scheduling with care units.
IPS-RCRA@AI*IA
(2021)
Carmine Dodaro
,
Giuseppe Galatà
,
Andrea Grioni
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.
Theory Pract. Log. Program.
21 (6) (2021)
Simone Caruso
,
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.
IPS-RCRA@AI*IA
(2021)
Mario Alviano
,
Riccardo Bertolucci
,
Matteo Cardellini
,
Carmine Dodaro
,
Giuseppe Galatà
,
Muhammad Kamran Khan
,
Marco Maratea
,
Marco Mochi
,
Victoria Morozan
,
Ivan Porro
,
Marco Schouten
Answer Set Programming in Healthcare: Extended Overview.
IPS-RCRA@AI*IA
(2020)
Carmine Dodaro
,
Giuseppe Galatà
,
Marco Maratea
,
Marco Mochi
,
Ivan Porro
Chemotherapy Treatment Scheduling via Answer Set Programming.
CILC
(2020)