Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Simona Perri
2010 – today
- 2013
[j7]Simona Perri, Francesco Ricca, Marco Sirianni: Parallel instantiation of ASP programs: techniques and experiments. TPLP 13(2): 253-278 (2013)- 2012
- [c18]Wolfgang Faber, Nicola Leone, Simona Perri: The Intelligent Grounder of DLV. Correct Reasoning 2012: 247-264
- 2011
- [j6]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)
- [c17]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
- [i5]Simona Perri, Francesco Ricca, Marco Sirianni: Parallel Instantiation of ASP Programs: Techniques and Experiments. CoRR abs/1110.1015 (2011)
- 2010
- [c16]
- [c15]Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina: The Disjunctive Datalog System DLV. Datalog 2010: 282-301
- [c14]Simona Perri, Francesco Ricca, Marco Sirianni: A parallel ASP instantiator based on DLV. DAMP 2010: 73-82
2000 – 2009
- 2008
- [j5]Francesco Calimeri, Simona Perri, Francesco Ricca: Experimenting with parallelism for the instantiation of ASP programs. J. Algorithms 63(1-3): 34-54 (2008)
- 2007
- [j4]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
- [j3]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
- [j2]Simona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. TPLP 5(1-2): 123-159 (2005)
- [c13]Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri: Declarative and Computational Properties of Logic Programs with Aggregates. IJCAI 2005: 406-411
- 2004
- [j1]Simona Perri, Nicola Leone: Parametric connectives in Disjunctive Logic Programming. AI Commun. 17(2): 63-74 (2004)
- [c12]Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer: New DLV Features for Data Integration. JELIA 2004: 698-701
- [c11]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV with Aggregates. LPNMR 2004: 326-330
- [c10]Nicola Leone, Simona Perri, Francesco Scarcello: BackJumping techniques for rules instantiation in the DLV system. NMR 2004: 258-266
- 2003
- [c9]Simona Perri, Francesco Scarcello: Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE 2003: 238-251
- [c8]Nicola Leone, Simona Perri: Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003
- [i4]Simona Perri, Francesco Scarcello, Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. CoRR cs.AI/0310047 (2003)
- [i3]Simona Perri, Nicola Leone: Parametric Connectives in Disjunctive Logic Programming. CoRR cs.AI/0311007 (2003)
- 2002
- [c7]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
- [i2]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
- [c6]Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. AI*IA 2001: 123-134
- [c5]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
- [c4]Nicola Leone, Simona Perri, Francesco Scarcello: Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001: 280-294
- [c3]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
- [c2]Nicola Leone, Simona Perri, Francesco Scarcello: Join Ordering Techniques for Knowledge Base Systems. SEBD 2001: 79-93
- [i1]Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming. CoRR cs.LO/0111010 (2001)
1990 – 1999
- 1999
- [c1]Nicola Leone, Simona Perri, Pasquale Rullo: Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999: 107-118
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-26 21:25 CEST by the dblp team