Giuseppe Mazzotta

University of Calabria

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Andrea Cuteri (1)Francesco Ricca (1)

Papers (1)

May 26, 2026

University of CalabriaMay 26, 2026

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

Even with quantifiers, Answer Set Programming can be efficiently implemented for complex optimization problems using Counterexample-Guided Abstraction Refinement.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Code Generation & Program Synthesis Natural Language Processing Reasoning & Chain-of-Thought

Giuseppe Mazzotta

Research focus

Frequent co-authors

Papers (1)

Search

Giuseppe Mazzotta

Research focus

Frequent co-authors

Papers (1)