Sfoglia per Autore
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
2012-01-01 Ricca, Francesco; Grasso, Giovanni; Alviano, Mario; Manna, Marco; Lio, V; Iiritano, S; Leone, Nicola
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
2012-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
Efficient Query Answering over Datalog with Existential Quantifiers
2012-01-01 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P.
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules
2012-01-01 Gottlob, G; Manna, Marco; Morak, M; Pieris, A.
Magic-Sets for Datalog with Existential Quantifiers
2012-01-01 Alviano, Mario; Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P.
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
2013-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
Combining decidability paradigms for existential rules
2013-01-01 Gottlob, G; Manna, Marco; Pieris, A.
Using Answer Set Programming to Find Maximum Height Spanning Trees
2013-01-01 Manna, Marco
Query Answering over Disjunctive Datalog with Existential Quantifiers
2013-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
Polynomial Combined Rewritings for Existential Rules
2014-01-01 Gottlob, G; Manna, Marco; Pieris, A.
Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations
2015-01-01 Gottlob, Georg; Manna, Marco; Pieris, Andreas
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments
2015-01-01 Adrian, Wt; Leone, Nicola; Ligeza, A; Manna, M; Slazynski, M.
Taming primary key violations to query large inconsistent data via ASP
2015-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
Polynomial Rewritings for Linear Existential Rules
2015-01-01 Gottlob, G; Manna, Marco; Pieris, A.
Semantic Views of Homogeneous Unstructured Data
2015-01-01 Adrian, Wt; Leone, Nicola; Manna, Marco
Guarded-Based Disjunctive Tuple-Generating Dependencies
2016-01-01 Bourhis, Pierre; Manna, Marco; Morak, Michael; Pieris, Andreas
Decomposing and Pruning Primary Key Violations from Large Data Sets
2017-01-01 Manna, M.; Ricca, F.; Terracina, G.
Document layout analysis for semantic information extraction
2017-01-01 Adrian, Weronika T.; Leone, Nicola; Manna, Marco; Marte, Cinzia
Reasoning on anonymity in Datalog+/-
2017-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Finite model reasoning over existential rules
2017-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Team-building with Answer Set Programming in the Gioia-Tauro Seaport | 1-gen-2012 | Ricca, Francesco; Grasso, Giovanni; Alviano, Mario; Manna, Marco; Lio, V; Iiritano, S; Leone, Nicola | |
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues | 1-gen-2012 | Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco | |
Efficient Query Answering over Datalog with Existential Quantifiers | 1-gen-2012 | Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P. | |
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules | 1-gen-2012 | Gottlob, G; Manna, Marco; Morak, M; Pieris, A. | |
Magic-Sets for Datalog with Existential Quantifiers | 1-gen-2012 | Alviano, Mario; Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P. | |
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice | 1-gen-2013 | Manna, Marco; Ricca, Francesco; Terracina, Giorgio | |
Combining decidability paradigms for existential rules | 1-gen-2013 | Gottlob, G; Manna, Marco; Pieris, A. | |
Using Answer Set Programming to Find Maximum Height Spanning Trees | 1-gen-2013 | Manna, Marco | |
Query Answering over Disjunctive Datalog with Existential Quantifiers | 1-gen-2013 | Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco | |
Polynomial Combined Rewritings for Existential Rules | 1-gen-2014 | Gottlob, G; Manna, Marco; Pieris, A. | |
Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations | 1-gen-2015 | Gottlob, Georg; Manna, Marco; Pieris, Andreas | |
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments | 1-gen-2015 | Adrian, Wt; Leone, Nicola; Ligeza, A; Manna, M; Slazynski, M. | |
Taming primary key violations to query large inconsistent data via ASP | 1-gen-2015 | Manna, Marco; Ricca, Francesco; Terracina, Giorgio | |
Polynomial Rewritings for Linear Existential Rules | 1-gen-2015 | Gottlob, G; Manna, Marco; Pieris, A. | |
Semantic Views of Homogeneous Unstructured Data | 1-gen-2015 | Adrian, Wt; Leone, Nicola; Manna, Marco | |
Guarded-Based Disjunctive Tuple-Generating Dependencies | 1-gen-2016 | Bourhis, Pierre; Manna, Marco; Morak, Michael; Pieris, Andreas | |
Decomposing and Pruning Primary Key Violations from Large Data Sets | 1-gen-2017 | Manna, M.; Ricca, F.; Terracina, G. | |
Document layout analysis for semantic information extraction | 1-gen-2017 | Adrian, Weronika T.; Leone, Nicola; Manna, Marco; Marte, Cinzia | |
Reasoning on anonymity in Datalog+/- | 1-gen-2017 | Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco | |
Finite model reasoning over existential rules | 1-gen-2017 | Amendola, Giovanni; Leone, Nicola; 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