| 2008 |
|---|
| 19 | EE | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni,
Nicola Leone:
Computable Functions in ASP: Theory and Implementation.
ICLP 2008: 407-424 |
| 18 | EE | Francesco Calimeri,
Simona Perri,
Francesco Ricca:
Experimenting with parallelism for the instantiation of ASP programs.
J. Algorithms 63(1-3): 34-54 (2008) |
| 2007 |
|---|
| 17 | 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 |
|---|
| 16 | EE | Francesco Calimeri,
Susanna Cozza,
Giovambattista Ianni:
Decidable Fragments of Logic Programming with Value Invention.
JELIA 2006: 95-110 |
| 15 | EE | Francesco Calimeri,
Giovambattista Ianni:
Template programs for Disjunctive Logic Programming: An operational semantics.
AI Commun. 19(3): 193-206 (2006) |
| 14 | EE | Francesco Calimeri,
Wolfgang Faber,
Gerald Pfeifer,
Nicola Leone:
Pruning Operators for Disjunctive Logic Programming Systems.
Fundam. Inform. 71(2-3): 183-214 (2006) |
| 2005 |
|---|
| 13 | EE | Francesco Calimeri,
Wolfgang Faber,
Nicola Leone,
Simona Perri:
Declarative and Computational Properties of Logic Programs with Aggregates.
IJCAI 2005: 406-411 |
| 12 | EE | Francesco Calimeri,
Giovambattista Ianni:
External Sources of Computation for Answer Set Solvers.
LPNMR 2005: 105-118 |
| 2004 |
|---|
| 11 | EE | Francesco Calimeri,
Giovambattista Ianni,
Giuseppe Ielpa,
Adriana Pietramala,
Maria Carmela Santoro:
A System with Template Answer Set Programs.
JELIA 2004: 693-697 |
| 10 | EE | Francesco Calimeri,
Manuela Citrigno,
Chiara Cumbo,
Wolfgang Faber,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
New DLV Features for Data Integration.
JELIA 2004: 698-701 |
| 9 | EE | Giovambattista Ianni,
Giuseppe Ielpa,
Adriana Pietramala,
Maria Carmela Santoro,
Francesco Calimeri:
Enhancing answer set programming with templates.
NMR 2004: 233-239 |
| 8 | EE | Giovambattista Ianni,
Francesco Ricca,
Francesco Calimeri,
Vincenzino Lio,
Stefania Galizia:
An agent system reasoning about the web and the user.
WWW (Alternate Track Papers & Posters) 2004: 492-493 |
| 7 | EE | Giovambattista Ianni,
Francesco Calimeri,
Adriana Pietramala,
Maria Carmela Santoro:
Parametric external predicates for the DLV System
CoRR cs.AI/0404011: (2004) |
| 6 | EE | Francesco Calimeri,
Nicola Leone:
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR cs.AI/0404012: (2004) |
| 2003 |
|---|
| 5 | | Giovambattista Ianni,
Francesco Calimeri,
Vincenzino Lio,
Stefania Galizia:
Reasoning about the Semantic Web using Answer Set Programming.
APPIA-GULP-PRODE 2003: 324-336 |
| 4 | | Francesco Calimeri,
Stefania Galizia,
Massimo Ruffolo,
Pasquale Rullo:
Enhancing Disjunctive Logic Programming for Ontology Specification.
APPIA-GULP-PRODE 2003: 63-74 |
| 3 | EE | Francesco Calimeri,
Stefania Galizia,
Massimo Ruffolo,
Pasquale Rullo:
OntoDLP: a Logic Formalism for Knowledge Representation.
Answer Set Programming 2003 |
| 2002 |
|---|
| 2 | EE | Nicola Leone,
Gerald Pfeifer,
Wolfgang Faber,
Francesco Calimeri,
Tina Dell'Armi,
Thomas Eiter,
Georg Gottlob,
Giovambattista Ianni,
Giuseppe Ielpa,
Christoph Koch,
Simona Perri,
Axel Polleres:
The DLV System.
JELIA 2002: 537-540 |
| 1 | | Francesco Calimeri,
Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer:
Pruning operators for answer set programming systems.
NMR 2002: 200-209 |
