Marco Mochi
Orcid: 0000-0002-5849-3667
According to our database1,
Marco Mochi
authored at least 20 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
6
7
1
3
1
1
3
4
2
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.
Artif. Intell., 2025
2024
Theory Pract. Log. Program., March, 2024
Operating room scheduling via answer set programming: Improved encoding and test on real data.
J. Log. Comput., 2024
J. Log. Comput., 2024
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024
Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
2023
J. Log. Comput., December, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
2022
Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
2021
Theory Pract. Log. Program., 2021
Proceedings 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) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021
Proceedings 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) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020