Francesco Calimeri

	2009
21		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: An ASP System with Functions, Lists, and Sets. LPNMR 2009: 483-489
20		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR 2009: 71-86
	2008
19		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Computable Functions in ASP: Theory and Implementation. ICLP 2008: 407-424
18		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		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		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni: Decidable Fragments of Logic Programming with Value Invention. JELIA 2006: 95-110
15		Francesco Calimeri, Giovambattista Ianni: Template programs for Disjunctive Logic Programming: An operational semantics. AI Commun. 19(3): 193-206 (2006)
14		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		Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
12		Francesco Calimeri, Giovambattista Ianni: External Sources of Computation for Answer Set Solvers. LPNMR 2005: 105-118
	2004
11		Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro: A System with Template Answer Set Programs. JELIA 2004: 693-697
10		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		Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri: Enhancing answer set programming with templates. NMR 2004: 233-239
8		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		Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro: Parametric external predicates for the DLV System CoRR cs.AI/0404011: (2004)
6		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		Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo: OntoDLP: a Logic Formalism for Knowledge Representation. Answer Set Programming 2003
	2002
2		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

Coauthor Index

1	Manuela Citrigno	[10]
2	Susanna Cozza	[16] [17] [19] [20] [21]
3	Chiara Cumbo	[10]
4	Tina Dell'Armi	[2]
5	Thomas Eiter	[2]
6	Wolfgang Faber	[1] [2] [10] [13] [14]
7	Stefania Galizia	[3] [4] [5] [8]
8	Georg Gottlob	[2]
9	Giovambattista Ianni	[2] [5] [7] [8] [9] [11] [12] [15] [16] [17] [19] [20] [21]
10	Giuseppe Ielpa	[2] [9] [11]
11	Christoph Koch	[2]
12	Nicola Leone	[1] [2] [6] [10] [13] [14] [19] [20] [21]
13	Vincenzino Lio	[5] [8]
14	Simona Perri	[2] [10] [13] [18]
15	Gerald Pfeifer	[1] [2] [10] [14]
16	Adriana Pietramala	[7] [9] [11]
17	Axel Polleres	[2]
18	Francesco Ricca	[8] [18]
19	Massimo Ruffolo	[3] [4]
20	Pasquale Rullo	[3] [4]
21	Maria Carmela Santoro	[7] [9] [11]