|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 61 publication records. Showing 60 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 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog evaluation plans in large-scale scenarios. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. |
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 | Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari |
An ASP-based Approach for Optimizing DLV Evaluation. |
CILC |
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 | Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings |
JELIA |
2019 |
DBLP DOI 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 | Weronika T. Adrian, Marco Manna |
Navigating Online Semantic Resources for Entity Set Expansion. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Finite Model Reasoning in Hybrid Classes of Existential Rules. |
IJCAI |
2018 |
DBLP DOI 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 |
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna |
Finite model reasoning over existential rules. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna |
Finite model reasoning over existential rules. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
Entity set expansion from the Web via ASP. |
ICLP (Technical Communications) |
2017 |
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 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Decomposing and pruning primary key violations from large data sets (discussion paper). |
SEBD |
2017 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Nicola Leone, Marco Manna |
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). |
SEBD |
2017 |
DBLP BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte |
Document Layout Analysis for Semantic Information Extraction. |
AI*IA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Erman Acar, Gianluigi Greco, Marco Manna |
Group Reasoning in Social Environments. |
AAMAS |
2017 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris |
Guarded-Based Disjunctive Tuple-Generating Dependencies. |
ACM Trans. Database Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Marco Manna |
Ontology-driven Information Extraction. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Taming Primary Key Violations to Query Large Inconsistent Data. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Taming primary key violations to query large inconsistent data via ASP. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski |
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. |
ICAISC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. |
Description Logics |
2015 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Polynomial Rewritings for Linear Existential Rules. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Weronika T. Adrian, Nicola Leone, Marco Manna |
Semantic Views of Homogeneous Unstructured Data. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Polynomial Combined Rewritings for Existential Rules. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Marco Manna, Andreas Pieris |
Combining decidability paradigms for existential rules. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Consistent query answering via ASP from different perspectives: Theory and practice. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Query Answering over Disjunctive Datalog with Existential Quantifiers. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone |
The HiLeX System for Semantic Information Extraction. |
Trans. Large-Scale Data- and Knowledge-Centered Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone |
Team-building with answer set programming in the Gioia-Tauro seaport. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. |
TPLP |
2012 |
DBLP DOI 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 | Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris |
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. |
MFCS |
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 | Marco Manna, Francesco Scarcello, Nicola Leone |
On the complexity of regular-grammars with integer attributes. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Georg Gottlob, Marco Manna |
Distributed XML design. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone |
Team-building with Answer Set Programming in the Gioia-Tauro Seaport |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Grasso 0001, Nicola Leone, Marco Manna, Francesco Ricca |
ASP at Work: Spin-off and Applications of the DLV System. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI 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 | Francesco Ricca, Antonella Dimasi, Giovanni Grasso 0001, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone |
A Logic-Based System for e-Tourism. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Georg Gottlob, Marco Manna |
Distributed XML Design |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. |
CILC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Georg Gottlob, Marco Manna |
Distributed XML design. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
distributed XML, xml typing, dtd, xml-schema |
| 1 | Massimo Ruffolo, Marco Manna, Vittoria Cozza, Raffaello Ursino |
Semantic Clinical Process Management. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà |
Towards a Semantic Information Extraction Approach from Unstructured Documents. |
SEBD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà |
A Logic-Based Tool for Semantic Information Extraction. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Ruffolo, Marco Manna |
A Logic-Based Approach to Semantic Information Extraction. |
ICEIS (2) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Massimo Ruffolo, Marco Manna |
HiLeX: A System for Semantic Information Extraction from Web Documents. |
ICEIS (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Ruffolo, Vittoria Cozza, Lorenzo Gallucci, Marco Manna, Mariarita Pizzonia |
Semantic Information Elicitation from Unstructured Medical Records |
MTG2006 |
2006 |
RDF |
|
| 1 | Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto |
Exploiting ASP for Semantic Information Extraction. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license