dblp.uni-trier.dewww.uni-trier.de

Simona Perri

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
22EEFrancesco Calimeri, Simona Perri, Francesco Ricca: Experimenting with parallelism for the instantiation of ASP programs. J. Algorithms 63(1-3): 34-54 (2008)
2007
21EESimona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone: Enhancing DLV instantiator by backjumping techniques. Ann. Math. Artif. Intell. 51(2-4): 195-228 (2007)
2006
20EENicola 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
19EEFrancesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
18EESimona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. TPLP 5(1-2): 123-159 (2005)
2004
17EEFrancesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer: New DLV Features for Data Integration. JELIA 2004: 698-701
16EETina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
15EENicola Leone, Simona Perri, Francesco Scarcello: BackJumping techniques for rules instantiation in the DLV system. NMR 2004: 258-266
14EESimona 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
12EENicola Leone, Simona Perri: Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003
11EESimona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR cs.AI/0310047: (2003)
10EESimona Perri, Nicola Leone: Parametric Connectives in Disjunctive Logic Programming CoRR cs.AI/0311007: (2003)
2002
9EENicola 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
8EENicola 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
7EENicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. AI*IA 2001: 123-134
6EEEnrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001: 561-578
5EENicola Leone, Simona Perri, Francesco Scarcello: Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001: 280-294
4EETina 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
2EEGiovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming CoRR cs.LO/0111010: (2001)
1999
1EENicola Leone, Simona Perri, Pasquale Rullo: Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999: 107-118

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)