|
|
|
|
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 |
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Fast Query Answering over Existential Rules.  |
ACM Trans. Comput. Log.  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari |
Enhancing magic sets with an application to ontological reasoning. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari |
Enhancing Magic Sets with an Application to Ontological Reasoning. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Weronika 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. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
A REST-Based Development Framework for ASP: Tools and Application. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
First Steps towards Reasoning on Big Data with DLV. |
SEBD |
2018 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
Enhancing Existential Rules by Closed-World Variables. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
Reasoning on anonymity in Datalog+/-. |
ICLP (Technical Communications) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
The ASP System DLV2. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri |
Modeling and Reasoning about NTU Games via Answer Set Programming. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri |
A graphic tool for ontology reasoning under Datalog∃. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Magic-Sets for Datalog with Existential Quantifiers. |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficient Query Answering over Datalog with Existential Quantifiers. |
SEBD |
2012 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficiently Computable Datalog∃ Programs. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesco 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. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Francesco Ricca, Pierfrancesco Veltri |
DLVMC: Enhanced Model Checking in DLV. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license