The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierfrancesco Veltri" ( http://dblp.L3S.de/Authors/Pierfrancesco_Veltri )

URL (Homepage):  https://it.linkedin.com/in/pierfrancesco-veltri-6ba5a2b  Author page on DBLP  Author page in RDF  Community of Pierfrancesco Veltri in ASPL-2

Publication years (Num. hits)
2010-2019 (20)
Publication types (Num. hits)
article(4) inproceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 21 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Fast Query Answering over Existential Rules. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing magic sets with an application to ontological reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing Magic Sets with an Application to Ontological Reasoning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo 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. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola 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. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola 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. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo 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. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri A REST-Based Development Framework for ASP: Tools and Application. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari First Steps towards Reasoning on Big Data with DLV. Search on Bibsonomy SEBD The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Enhancing Existential Rules by Closed-World Variables. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Reasoning on anonymity in Datalog+/-. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri Modeling and Reasoning about NTU Games via Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri A graphic tool for ontology reasoning under Datalog∃. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Magic-Sets for Datalog with Existential Quantifiers. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Efficient Query Answering over Datalog with Existential Quantifiers. Search on Bibsonomy SEBD The full citation details ... 2012 DBLP  BibTeX  RDF
1Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Efficiently Computable Datalog∃ Programs. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, 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. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Francesco Ricca, Pierfrancesco Veltri DLVMC: Enhanced Model Checking in DLV. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license