Andrea Cuteri

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

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

2-ASP(Q) Solving Based on CEGAR.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
Lazy Atom Discovery in Compilation-Based ASP Solving.
Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Toward Executing Datalog on Big Data Platforms - Extended Abstract.
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.
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.
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.
Proceedings of the 40th Italian Conference on Computational Logic, 2025

2024
Automata-based LTL_f Satisfiability Checking via ASP.
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.
Proceedings of the 38th Italian Conference on Computational Logic, 2023


  Loading...