Susanna Cozza

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2010, AAAI.

Bottom-up Evaluation of Finitely Recursive Queries

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2009 .

Decidable Fragments of Logic Programming with Value Invention

Giovambattista Ianni, Francesco Calimeri, Susanna Cozza, 2006, JELIA.

Finitely recursive programs: Decidability and bottom-up computation

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2011, AI Commun..

Computable Functions in ASP: Theory and Implementation

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2008, ICLP.

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

Mario Alviano, Wolfgang Faber, Giovambattista Ianni, 2011, LPNMR.

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2009, LPNMR.

External sources of knowledge and value invention in logic programming

Giovambattista Ianni, Francesco Calimeri, Susanna Cozza, 2007, Annals of Mathematics and Artificial Intelligence.

An ASP System with Functions, Lists, and Sets

Giovambattista Ianni, Nicola Leone, Francesco Calimeri, 2009, LPNMR.