IRIS

COZZA, Susanna

COZZA, Susanna  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
An ASP System with Functions, Lists, and Sets 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 1-gen-2008 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques 1-gen-2010 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
Handling Function Symbols in the DLV Grounder 1-gen-2011 Calimeri, Francesco; Cozza, S.; Leone, Nicola; Perri, Simona
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 1-gen-2011 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.