Publications Experiences Activities Education
Hi, I'm Marco

I'm a PhD Student at the University of Genoa working in Artificial Intelligence and Knowledge Representation and Reasoning.

Publications
2024
CNL2ASP: converting controlled natural language sentences into ASP - S. Caruso, C. Dodaro, M. Maratea, F. Riccio - Theory and Practice of Logic Programming, Vol. 24, Issue 2, March 2024, Pages 196-226
2023
Comparing Planning Domain Models using Answer Set Programming - L. Chrpa, C. Dodaro, M. Maratea, M. Mochi, M. Vallati - Proc. of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA-23), To appear 2023
Master Surgical Scheduling via Answer Set Programming - M. Mochi, G. Galatà, M. Maratea - Journal of Logic and Computation, Volume 33, Issue 8, December 2023, Pages 1777–1803.
Scheduling Pre-operative Assessment Clinic with Answer Set Programming - S. Caruso, G. Galatà, M. Maratea, M. Mochi, I. Porro - Journal of Logic and Computation, Volume 34, Issue 3, April 2024, Pages 465–493.
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 - M. Scanu, M. Mochi, C. Dodaro, G. Galatà, M. Maratea - Proc. of the 38th Edition of the Italian Conference on Computational Logic (CILC 2023). CEUR Workshop Proceedings, Vol. 3428.
2022
Planning and Scheduling in Digital Health with Answer Set Programming - M. Mochi - Proc. of 18th Doctoral Consortium (DC) on Logic Programming. EPTCS 362.
An ASP-Based Approach to Master Surgical Schedule - L. Cademartori, G. Galatà, C. Monaco, M. Maratea, M. Mochi, M. Schouten - Proc. of the 37th Edition of the Italian Conference on Computational Logic (CILC 2022). CEUR Workshop Proceedings, Vol. 3204.
2021
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic - S. Caruso, G. Galatà, M. Maratea, M. Mochi, I. Porro - Proc. of AIxIA 2021: Advances in Artificial Intelligence. Revised Selected Papers. LNCS, vol 13196.
An ASP-based Solution to the Operating Room Scheduling with care units - G. Galatà, M. Maratea, M. Mochi, V. Morozan, I. Porro - Proc. of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) CEUR Workshop Proceedings, Vol. 3605.
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming - S. Caruso, G. Galatà, M. Maratea, M. Mochi, I. Porro - Proc. of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) CEUR Workshop Proceedings, Vol. 3605.
An ASP-based solution to the Chemotherapy Treatment Scheduling problem - C. Dodaro, G. Galatà, M. Maratea, M. Mochi, I. Porro - Theory and Practice of Logic Programming, Vol. 21(5-6), 2021: Proc. of the 37th International Conference on Logic Programming (ICLP 2021) - Best application paper Award
2020
Answer Set Programming in Healthcare: Extended Overview - M. Alviano, R. Bertolucci, M. Cardellini, C. Dodaro, G. Galatà, M. Kamran, M. Maratea, M. Mochi, V. Morozan, I. Porro, M. Schouten - Proc. of the 19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020), CEUR Workshop Proceedings, Vol. 2715.
Chemotherapy Treatment Scheduling via Answer Set Programming - C. Dodaro, G. Galatà, M. Maratea, M. Mochi, I. Porro - Proc. of the 35th Edition of the Italian Conference on Computational Logic (CILC 2020), CEUR Workshop Proceedings, Vol. 2710.
Experiences

  1. University of Genoa, 11/2022 - Present

    PhD Student

    I am currently pursuing a PhD at DIBRIS, University of Genoa, with a research focus on Artificial Intelligence in Digital Health and Explainable Artificial Intelligence. My work involves applying AI methodologies, specifically in knowledge representation and automated reasoning, to develop solutions for real-world problems. As part of a joint laboratory between DIBRIS and SurgiQ Srl, I am also involved in developing practical applications in the field of Digital Health.

  2. University of Genoa, 03/2021 - 11/2021

    Research Grant

    As an 'Assegnista di Ricerca' at DIBRIS, University of Genoa, my grant involved analyzing real-world problems in the healthcare domain and developing solutions using AI methodologies, specifically in knowledge representation and automated reasoning. Throughout this work, I collaborated with SurgiQ Srl to develop practical applications that could address healthcare challenges.

  3. SurgiQ S.r.l, 10/2020 - 01/2021

    AI Researcher and Developer

    During this period, I gained valuable experience developing my thesis in a real-world context. In addition, I developed web applications that utilize AI techniques to improve resource management for clinics and hospital facilities. To accomplish this, I used technologies such as NodeJS, Angular, GraphQL, and NoSQL databases for web application development. For developing AI tools, I utilized Answer Set Programming. Overall, my work as an AI researcher and developer involved both theoretical research and practical implementation.

  4. Trilog S.p.a, 03/2018 - 07/2018

    Developer

    I worked as SAP ABAP developer and I gained valuable experience working in a professional environment and collaborating with a team. During this time, I worked on several projects for well-known fashion companies, which allowed me to develop my skills in meeting deadlines and working in an agile development environment.

Activities

  1. Conferences

    1. PC Member for the Thirty-Seventh AAAI Conference on Artificial Intelligence - AAAI 2023

    2. PC Member for the 29th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion - RCRA 2023

    3. Local Organizer for the 16th International Conference on Logic Programming and Non-monotonic Reasoning - LPNMR 2022

  2. Master Thesis Supervisor

    1. Co-supervisor - Simone Caruso - Master Degree in Computer Engineering: "Artificial Intelligence Techniques for Scheduling Pre-Operative Assessment Clinic"

    2. Co-supervisor - Daniele Yu - Master Degree in Computer Engineering: "Ottimizzazione e Visualizzazione nella risoluzione del problema di schedulazione dei trattamenti chemioterapici"

    3. Co-supervisor - Marco Scanu - Master Degree in Computer Engineering: "Tecniche di Intelligenza Artificiale per la schedulazione degli interventi nelle sale operatorie: il caso di studio dell'ASL1 Liguria"

  3. Bachelor Thesis Supervisor

    1. Co-supervisor - Fabrizio Leopardi - Bachelor Degree in Computer Engineering: "Artificial Intelligence embraces Law via Argumentation Systems"

Education

  1. MSc in Computer Engineering, University of Genoa

    1. Curriculum: Artificial Intelligence & Human-Centered Computing

    2. Thesis: "Artificial Intelligence techniques for solving scheduling problem of chemotherapy treatments"

    3. Supervisor: Prof. Marco Maratea

    4. Final Grade: 110/110 cum Laude

  2. BSc in Computer Engineering, University of Genoa

    1. Thesis: "WhoPlays" an Android application for footbal match organization, allowing users to post and answer to player requests.

    2. Supervisor: Prof. Alessio Merlo

    3. Final Grade: 90/110