Susanna Cozza

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24 (4) (2011)
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
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR (2011)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI (2010)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR (2009)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
An ASP System with Functions, Lists, and Sets. LPNMR (2009)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
Computable Functions in ASP: Theory and Implementation. ICLP (2008)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50 (3-4) (2007)
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
Decidable Fragments of Logic Programming with Value Invention. JELIA (2006)