 | 2011 |
|---|
| 8 |       | 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: 388-403 |
| 7 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Finitely recursive programs: Decidability and bottom-up computation.
AI Commun. 24(4): 311-334 (2011) |
| 2010 |
|---|
| 6 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.
AAAI 2010 |
| 2009 |
|---|
| 5 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
An ASP System with Functions, Lists, and Sets.
LPNMR 2009: 483-489 |
| 4 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.
LPNMR 2009: 71-86 |
| 2008 |
|---|
| 3 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Computable Functions in ASP: Theory and Implementation.
ICLP 2008: 407-424 |
| 2007 |
|---|
| 2 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni:
External sources of knowledge and value invention in logic programming.
Ann. Math. Artif. Intell. 50(3-4): 333-361 (2007) |
| 2006 |
|---|
| 1 | | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni:
Decidable Fragments of Logic Programming with Value Invention.
JELIA 2006: 95-110 |
Data released under the ODC-BY 1.0 license — See also our legal information page