Andrea Cuteri

According to our database, Andrea Cuteri authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

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.

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