Francesco Calimeri

	2011
26		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
25		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24(4): 311-334 (2011)
24		Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. (JAIR) 42: 487-527 (2011)
	2010
23		Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca: Answer Set Programming. 25 Years GULP 2010: 159-182
22		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI 2010
	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	Mario Alviano	[24] [26]
2	Piero A. Bonatti	[23]
3	Annamaria Bria	[26]
4	Gelsomina Catalano	[26]
5	Manuela Citrigno	[10]
6	Susanna Cozza	[16] [17] [19] [20] [21] [22] [25] [26]
7	Chiara Cumbo	[10]
8	Tina Dell'Armi	[2]
9	Thomas Eiter	[2]
10	Wolfgang Faber	[1] [2] [10] [13] [14] [24] [26]
11	Onofrio Febbraro	[26]
12	Stefania Galizia	[3] [4] [5] [8]
13	Georg Gottlob	[2]
14	Giovambattista Ianni	[2] [5] [7] [8] [9] [11] [12] [15] [16] [17] [19] [20] [21] [22] [25] [26]
15	Giuseppe Ielpa	[2] [9] [11]
16	Christoph Koch	[2]
17	Nicola Leone	[1] [2] [6] [10] [13] [14] [19] [20] [21] [22] [23] [24] [25] [26]
18	Vincenzino Lio	[5] [8]
19	Marco Manna	[26]
20	Alessandra Martello	[26]
21	Claudio Panetta	[26]
22	Simona Perri	[2] [10] [13] [18] [24] [26]
23	Gerald Pfeifer	[1] [2] [10] [14]
24	Adriana Pietramala	[7] [9] [11]
25	Axel Polleres	[2]
26	Kristian Reale	[26]
27	Francesco Ricca	[8] [18] [23] [26]
28	Massimo Ruffolo	[3] [4]
29	Pasquale Rullo	[3] [4]
30	Maria Carmela Santoro	[7] [9] [11] [26]
31	Marco Sirianni	[26]
32	Giorgio Terracina	[26]
33	Pierfrancesco Veltri	[26]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page