Andrea Cuteri

According to our database, Andrea Cuteri authored at least 9 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

CoRR, May, 2026

2-ASP(Q) Solving Based on CEGAR.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Lazy Atom Discovery in Compilation-Based ASP Solving.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Toward Executing Datalog on Big Data Platforms - Extended Abstract.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Enhancing Compilation-based ASP Solving with Postponed Atom Discovery.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Enhancing Compilation-based ASP Solving.

Andrea Cuteri

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Toward Executing Datalog on Big Data Platforms.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the 40th Italian Conference on Computational Logic, 2025

2024

Automata-based LTL_f Satisfiability Checking via ASP.

Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

2023

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the 38th Italian Conference on Computational Logic, 2023