Scholar
Marco Mochi
Google Scholar ID: tQcrNGIAAAAJ
Surgiq srl
Citations & Impact
Citations
152
H-index
7
i10-index
4
Publications
20
Co-authors
5
list available
Publications
Resume (English only)
Academic Achievements
- 2025: 'A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments', published in the Journal of Artificial Intelligence (AIJ).
- 2025: PhD thesis 'Solving and Explaining Scheduling problems in Digital Health using Logic Programming'.
- 2024: Multiple papers on the application of ASP (Answer Set Programming) in healthcare scheduling, published in various international journals and conferences.
- 2023: Multiple papers on the application of ASP in surgical scheduling and planning, published in various international journals and conferences.
- 2022: 'Planning and Scheduling in Digital Health with Answer Set Programming', presented at the 18th Doctoral Consortium (DC) on Logic Programming.
- 2021: Multiple papers on the application of ASP in surgical scheduling and chemotherapy treatment scheduling, published in various international journals and conferences, including a best application paper award.
Research Experience
- AI developer and researcher at SurgiQ; PhD thesis titled 'Solving and Explaining Scheduling problems in Digital Health using Logic Programming'.
Education
- PhD in Artificial Intelligence and Knowledge Representation and Reasoning from the University of Genoa.
Background
- AI developer and researcher at SurgiQ. Research interests include artificial intelligence, knowledge representation and reasoning.
