Simona Perri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
11
Active years
2001–2024
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | LLASP: Fine-tuning Large Language Models for Answer Set Programming. | Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca |
| 2024 | LPNMR | Monitoring and Scheduling of Semiconductor Failure Analysis Labs. | Elena Mastria, Domenico Pagliaro, Francesco Calimeri, Simona Perri, Martin Pleschberger, Konstantin Schekotihin |
| 2024 | PADL | Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2024 | PPDP | Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events. | Luca Laboccetta, Elena Mastria, Francesco Calimeri, Nicola Leone, Simona Perri, Giorgio Terracina |
| 2022 | PPDP | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2021 | ICRA | Optimized 3D path planner for steerable catheters with deductive reasoning. | Alice Segato, Valentina Corbetta, Jessica Zangari, Simona Perri, Francesco Calimeri, Elena De Momi |
| 2019 | JELIA | Memory-Saving Evaluation Plans for Datalog. | Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari |
| 2019 | LPNMR | Enhancing DLV for Large-Scale Reasoning. | Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fusc, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2018 | IC3K | Reasoning over Ontologies with DLV. | Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fusc, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2018 | IJCAI | Evaluation Techniques and Systems for Answer Set Programming: a Survey. | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
| 2018 | PADL | Optimizing Answer Set Computation via Heuristic-Based Decomposition. | Francesco Calimeri, Davide Fusc, Simona Perri, Jessica Zangari |
| 2017 | LPNMR | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2016 | PPDP | A framework for easing the development of applications embedding answer set programming. | Davide Fusc, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | 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 |
| 2010 | CPAIOR | Towards a Fully-Parallel DLV System. | Simona Perri, Francesco Ricca, Marco Sirianni |
| 2010 | POPL | A parallel ASP instantiator based on DLV. | Simona Perri, Francesco Ricca, Marco Sirianni |
| 2005 | IJCAI | Declarative and Computational Properties of Logic Programs with Aggregates. | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
| 2004 | JELIA | New DLV Features for Data Integration. | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | LPNMR | System Description: DLV with Aggregates. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2002 | JELIA | The DLV System. | 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 |
| 2001 | LPAR | Census Data Repair: a Challenging Application of Disjunctive Logic Programming. | Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello |
| 2001 | LPNMR | System Description: DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2001 | LPNMR | Improving ASP Instantiators by Join-Ordering Methods. | Nicola Leone, Simona Perri, Francesco Scarcello |