Pierfrancesco Veltri

According to our database, Pierfrancesco Veltri authored at least 21 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Answers set programs for non-transferable utility games: Expressiveness, complexity and applications.

Giovanni Amendola, Gianluigi Greco, Pierfrancesco Veltri

Artif. Intell., 2022

2019

Enhancing Magic Sets with an Application to Ontological Reasoning.

Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari

Theory Pract. Log. Program., 2019

Fast Query Answering over Existential Rules.

Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

ACM Trans. Comput. Log., 2019

Querying Large Expressive Horn Ontologies.

Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Large-Scale Reasoning on Expressive Horn Ontologies.

Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Datalog 2.0 2019, 2019

Large Scale DLV: Preliminary Results.

Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

The ASP System DLV: Advancements and Applications.

Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Künstliche Intell., 2018

First Steps towards Reasoning on Big Data with DLV.

Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

A REST-Based Development Framework for ASP: Tools and Application.

Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri

Proceedings of the Practical Aspects of Declarative Languages, 2018

Enhancing Existential Rules by Closed-World Variables.

Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

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

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2017

The ASP System DLV2.

Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Reasoning on anonymity in Datalog+/-.

Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

Modeling and Reasoning about NTU Games via Answer Set Programming.

Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2013

A graphic tool for ontology reasoning under Datalog^∃.

Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

2012

Efficient Query Answering over Datalog with Existential Quantifiers.

Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

Efficiently Computable Datalog∃ Programs.

Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Magic-Sets for Datalog with Existential Quantifiers.

Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

DLV^<i>MC</i>: Enhanced Model Checking in DLV.

Marco Maratea, Francesco Ricca, Pierfrancesco Veltri

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010