Pierfrancesco Veltri

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 16

Top Topics

Ontology Based Data Access

Query Answering

Ontological Reasoning

Top Venues

Publications

Giovanni Amendola, Gianluigi Greco, Pierfrancesco Veltri
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications. Artif. Intell. 302 (2022)
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
Querying Large Expressive Horn Ontologies. SEBD (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19 (5-6) (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing magic sets with an application to ontological reasoning. CoRR (2019)
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
Large Scale DLV: Preliminary Results. CILC (2019)
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
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Fast Query Answering over Existential Rules. ACM Trans. Comput. Log. 20 (2) (2019)
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
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
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
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Enhancing Existential Rules by Closed-World Variables. IJCAI (2018)
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
Reasoning over Ontologies with DLV. IC3K (2018)
Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri
A REST-Based Development Framework for ASP: Tools and Application. PADL (2018)
Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
First Steps towards Reasoning on Big Data with DLV. SEBD (2018)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Reasoning on anonymity in Datalog+/-. ICLP (Technical Communications) (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri
Modeling and Reasoning about NTU Games via Answer Set Programming. IJCAI (2016)
Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri
. SEBD (2013)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Efficient Query Answering over Datalog with Existential Quantifiers. SEBD (2012)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Efficiently Computable Datalog∃ Programs. KR (2012)
Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Magic-Sets for Datalog with Existential Quantifiers. Datalog (2012)
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)
Marco Maratea, Francesco Ricca, Pierfrancesco Veltri
: Enhanced Model Checking in DLV. JELIA (2010)