Sfoglia per Autore
Decomposing and pruning primary key violations from large data sets
2017-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again
2017-01-01 Amendola, G.; Leone, N.; Manna, M.
Document layout analysis for semantic information extraction
2017-01-01 Adrian, Weronika T.; Leone, Nicola; Manna, Marco; Marte, Cinzia
Finite model reasoning over existential rules
2017-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco
Group Reasoning in Social Environments
2017-01-01 Acar, E; Greco, Gianluigi; Manna, Marco
The AI system DLV: Ontologies, reasoning, and more
2018-01-01 Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J.
Finite Model Reasoning in Hybrid Classes of Existential Rules
2018-01-01 Gottlob, Georg; Manna, Marco; Pieris, Andreas
Enhancing Existential Rules by Closed-World Variables
2018-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward
2018-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco
The ASP System DLV: Advancements and Applications
2018-01-01 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Navigating online semantic resources for entity set expansion
2018-01-01 Adrian, Weronika T.; Manna, Marco
Large-scale reasoning on expressive horn ontologies
2019-01-01 Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Large Scale DLV: Preliminary Results
2019-01-01 Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Ontology: Introduction
2019-01-01 Greco, Gianluigi; Manna, Marco; Ricca, Francesco
Fast query answering over existential rules
2019-01-01 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings
2019-01-01 Calimeri, Francesco; Leone, Nicola; Manna, Marco
Enhancing DLV for Large-Scale Reasoning
2019-01-01 Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios
2019-01-01 Fiorentino, A.; Leone, N.; Manna, M.; Perri, S.; Zangari, J.
Large-Scale Ontological Reasoning via Datalog
2020-01-01 Alviano, Mario; Manna, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Decomposing and pruning primary key violations from large data sets | 1-gen-2017 | Manna, Marco; Ricca, Francesco; Terracina, Giorgio | |
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again | 1-gen-2017 | Amendola, G.; Leone, N.; Manna, M. | |
Document layout analysis for semantic information extraction | 1-gen-2017 | Adrian, Weronika T.; Leone, Nicola; Manna, Marco; Marte, Cinzia | |
Finite model reasoning over existential rules | 1-gen-2017 | Amendola, Giovanni; Leone, Nicola; Manna, Marco | |
Group Reasoning in Social Environments | 1-gen-2017 | Acar, E; Greco, Gianluigi; Manna, Marco | |
The AI system DLV: Ontologies, reasoning, and more | 1-gen-2018 | Allocca, C.; Calimeri, F.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J. | |
Finite Model Reasoning in Hybrid Classes of Existential Rules | 1-gen-2018 | Gottlob, Georg; Manna, Marco; Pieris, Andreas | |
Enhancing Existential Rules by Closed-World Variables | 1-gen-2018 | Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco | |
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward | 1-gen-2018 | Amendola, Giovanni; Leone, Nicola; Manna, Marco | |
The ASP System DLV: Advancements and Applications | 1-gen-2018 | Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
Navigating online semantic resources for entity set expansion | 1-gen-2018 | Adrian, Weronika T.; Manna, Marco | |
Large-scale reasoning on expressive horn ontologies | 1-gen-2019 | Allocca, C.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Manna, M.; Perri, Simona; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Large Scale DLV: Preliminary Results | 1-gen-2019 | Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Cuteri, Bernardo; Fiorentino, Alessio; Fusca', Davide; Germano, Stefano; Laboccetta, Giovanni; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
Querying large expressive horn ontologies | 1-gen-2019 | Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Ontology: Introduction | 1-gen-2019 | Greco, Gianluigi; Manna, Marco; Ricca, Francesco | |
Fast query answering over existential rules | 1-gen-2019 | Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco | |
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings | 1-gen-2019 | Calimeri, Francesco; Leone, Nicola; Manna, Marco | |
Enhancing DLV for Large-Scale Reasoning | 1-gen-2019 | Leone, N.; Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Cuteri, B.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios | 1-gen-2019 | Fiorentino, A.; Leone, N.; Manna, M.; Perri, S.; Zangari, J. | |
Large-Scale Ontological Reasoning via Datalog | 1-gen-2020 | Alviano, Mario; Manna, Marco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile