MANNA, Marco
MANNA, Marco
Dipartimento di Matematica e Informatica
A Logic-Based Approach to Semantic Information Extraction
2006-01-01 Ruffolo, M; Manna, Marco
A Logic-Based System for e-Tourism
2010-01-01 Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola
A Logic-Based Tool for Semantic Information Extraction
2006-01-01 Ruffolo, M; Manna, Marco; Gallucci, L; Leone, Nicola; Sacca', Domenico
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.
ASP at Work: Spin-off and Applications of the DLV System
2011-01-01 Grasso, Giovanni; Leone, Nicola; Manna, Marco; Ricca, Francesco
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
Combining decidability paradigms for existential rules
2013-01-01 Gottlob, G; Manna, Marco; Pieris, A.
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images
2021-01-01 Bruno, P.; Calimeri, F.; Marte, C.; Manna, M.
Combining deep learning and ASP-based models for the semantic segmentation of medical images
2021-01-01 Bruno, P.; Calimeri, F.; Marte, C.; Manna, M.
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
2013-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
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.
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries
2020-01-01 Fiorentino, A.; Zangari, J.; Manna, M.
Decomposing and pruning primary key violations from large data sets
2017-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
2012-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
Distributed XML Design
2011-01-01 Abiteboul, S; Gottlob, G; Manna, Marco
Distributed XML design
2009-01-01 Abiteboul, S; Gottlob, G; Manna, Marco
Document layout analysis for semantic information extraction
2017-01-01 Adrian, Weronika T.; Leone, Nicola; Manna, Marco; Marte, Cinzia
Efficient Query Answering over Datalog with Existential Quantifiers
2012-01-01 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P.
Efficiently Computable Datalog^E Programs
2012-01-01 Leone, Nicola; Manna, Marco; Terracina, G; Veltri, P.
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Logic-Based Approach to Semantic Information Extraction | 1-gen-2006 | Ruffolo, M; Manna, Marco | |
A Logic-Based System for e-Tourism | 1-gen-2010 | Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola | |
A Logic-Based Tool for Semantic Information Extraction | 1-gen-2006 | Ruffolo, M; Manna, Marco; Gallucci, L; Leone, Nicola; Sacca', Domenico | |
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. | |
ASP at Work: Spin-off and Applications of the DLV System | 1-gen-2011 | Grasso, Giovanni; Leone, Nicola; Manna, Marco; Ricca, Francesco | |
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 | |
Combining decidability paradigms for existential rules | 1-gen-2013 | Gottlob, G; Manna, Marco; Pieris, A. | |
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images | 1-gen-2021 | Bruno, P.; Calimeri, F.; Marte, C.; Manna, M. | |
Combining deep learning and ASP-based models for the semantic segmentation of medical images | 1-gen-2021 | Bruno, P.; Calimeri, F.; Marte, C.; Manna, M. | |
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice | 1-gen-2013 | Manna, Marco; Ricca, Francesco; Terracina, Giorgio | |
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. | |
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries | 1-gen-2020 | Fiorentino, A.; Zangari, J.; Manna, M. | |
Decomposing and pruning primary key violations from large data sets | 1-gen-2017 | Manna, Marco; Ricca, Francesco; Terracina, Giorgio | |
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues | 1-gen-2012 | Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco | |
Distributed XML Design | 1-gen-2011 | Abiteboul, S; Gottlob, G; Manna, Marco | |
Distributed XML design | 1-gen-2009 | Abiteboul, S; Gottlob, G; Manna, Marco | |
Document layout analysis for semantic information extraction | 1-gen-2017 | Adrian, Weronika T.; Leone, Nicola; Manna, Marco; Marte, Cinzia | |
Efficient Query Answering over Datalog with Existential Quantifiers | 1-gen-2012 | Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P. | |
Efficiently Computable Datalog^E Programs | 1-gen-2012 | Leone, Nicola; Manna, Marco; Terracina, G; Veltri, P. | |
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. |