Pierfrancesco Veltri

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