MANNA, Marco

MANNA, Marco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
A DLV-based Reasoner for Datalog+/- Languages 1-gen-2012 Gottlob, G; Leone, Nicola; Manna, Marco; Pieris, A.
A Formal Comparison between Datalog-based Languages for Stream Reasoning 1-gen-2022 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
A Logic-Based Approach to Semantic Information Extraction 1-gen-2006 Ruffolo, M; Manna, Marco
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 1-gen-2020 Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, MARIA CONCETTA; Leone, Nicola; 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
ASP at Work: Spin-off and Applications of the DLV System 1-gen-2011 Grasso, Giovanni; Leone, Nicola; Manna, Marco; Ricca, Francesco
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
Decomposing and Pruning Primary Key Violations from Large Data Sets 1-gen-2017 Manna, M.; Ricca, F.; Terracina, G.
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-2009 Abiteboul, S; Gottlob, G; Manna, Marco
Distributed XML Design 1-gen-2011 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
Dyadic Existential Rules 1-gen-2022 Gottlob, G.; Manna, M.; Marte, C.