| * | 2009 |
|---|
| 5 | EE | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
An ASP System with Functions, Lists, and Sets.
LPNMR 2009: 483-489 |
| 4 | EE | 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 | EE | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Computable Functions in ASP: Theory and Implementation.
ICLP 2008: 407-424 |
| 2007 |
|---|
| 2 | EE | 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 | EE | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni:
Decidable Fragments of Logic Programming with Value Invention.
JELIA 2006: 95-110 |
