Pierfrancesco Veltri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2010–2019
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | Enhancing Existential Rules by Closed-World Variables. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2018 | PADL | A REST-Based Development Framework for ASP: Tools and Application. | Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
| 2017 | ICLP | Reasoning on anonymity in Datalog+/-. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 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 | IJCAI | Modeling and Reasoning about NTU Games via Answer Set Programming. | Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri |
| 2012 | KR | Efficiently Computable Datalog∃ Programs. | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
| 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 | JELIA | DLV | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |