Skip to content

Susanna Cozza

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

4

Active years

2006–2011

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2011LPNMRThe Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2010AAAIEnhancing ASP by Functions: Decidable Classes and Implementation Techniques.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009LPNMRMagic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2009LPNMRAn ASP System with Functions, Lists, and Sets.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2008ICLPComputable Functions in ASP: Theory and Implementation.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
2006JELIADecidable Fragments of Logic Programming with Value Invention.Francesco Calimeri, Susanna Cozza, Giovambattista Ianni