MANNA, Marco
MANNA, Marco
Dipartimento di Matematica e Informatica
A DLV-based Reasoner for Datalog+/- Languages
2012-01-01 Gottlob, G; Leone, Nicola; Manna, Marco; Pieris, A.
A Formal Comparison between Datalog-based Languages for Stream Reasoning
2022-01-01 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
A Logic-Based Approach to Semantic Information Extraction
2006-01-01 Ruffolo, M; Manna, Marco
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
2020-01-01 Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, MARIA CONCETTA; Leone, Nicola; Manna, Marco
A logic-based framework for characterizing nexus of similarity within knowledge bases
2024-01-01 Amendola, G.; Manna, M.; Ricioppo, A.
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
ASP at Work: Spin-off and Applications of the DLV System
2011-01-01 Grasso, Giovanni; Leone, Nicola; Manna, Marco; Ricca, Francesco
Characterizing Nexus of Similarity between Entities
2023-01-01 Agresta, G.; Amendola, G.; Cofone, P.; Manna, M.; Ricioppo, A.
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
Decomposing and Pruning Primary Key Violations from Large Data Sets
2017-01-01 Manna, M.; Ricca, F.; Terracina, G.
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability
2024-01-01 Greco, G.; Manna, M.
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
2012-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
Distributed XML design
2009-01-01 Abiteboul, S; Gottlob, G; Manna, Marco