Simona Perri

2008
22	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
21	EE	Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone: Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007)
2006
20	EE	Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)
2005
19	EE	Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
18	EE	Simona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. TPLP 5(1-2): 123-159 (2005)
2004
17	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
16	EE	Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
15	EE	Nicola Leone, Simona Perri, Francesco Scarcello: BackJumping techniques for rules instantiation in the DLV system. NMR 2004: 258-266
14	EE	Simona Perri, Nicola Leone: Parametric connectives in Disjunctive Logic Programming. AI Commun. 17(2): 63-74 (2004)
2003
13		Simona Perri, Francesco Scarcello: Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE 2003: 238-251
12	EE	Nicola Leone, Simona Perri: Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003
11	EE	Simona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR cs.AI/0310047: (2003)
10	EE	Simona Perri, Nicola Leone: Parametric Connectives in Disjunctive Logic Programming CoRR cs.AI/0311007: (2003)
2002
9	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
8	EE	Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004: (2002)
2001
7	EE	Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. AI*IA 2001: 123-134
6	EE	Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001: 561-578
5	EE	Nicola Leone, Simona Perri, Francesco Scarcello: Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001: 280-294
4	EE	Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
3		Nicola Leone, Simona Perri, Francesco Scarcello: Join Ordering Techniques for Knowledge Base Systems. SEBD 2001: 79-93
2	EE	Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming CoRR cs.LO/0111010: (2001)
1999
1	EE	Nicola Leone, Simona Perri, Pasquale Rullo: Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999: 107-118

Coauthor Index

1	Francesco Calimeri	[9] [17] [19] [22]
2	Gelsomina Catalano	[21]
3	Manuela Citrigno	[17]
4	Chiara Cumbo	[17]
5	Tina Dell'Armi	[4] [9] [16]
6	Thomas Eiter	[8] [9] [20]
7	Wolfgang Faber	[4] [8] [9] [16] [17] [19] [20]
8	Enrico Franconi	[6]
9	Georg Gottlob	[8] [9] [20]
10	Giovambattista Ianni	[2] [9]
11	Giuseppe Ielpa	[4] [9] [16]
12	Christoph Koch	[4] [9]
13	Nicola Leone	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21]
14	Antonio Laureti Palma	[6]
15	Gerald Pfeifer	[4] [8] [9] [16] [17] [20]
16	Axel Polleres	[9]
17	Francesco Ricca	[22]
18	Pasquale Rullo	[1]
19	Francesco Scarcello	[2] [3] [5] [6] [7] [8] [11] [13] [15] [18] [20] [21]