IRIS

MANNA, Marco

MANNA, Marco  

Dipartimento di Matematica e Informatica  

Risultati 1 - 20 di 62 (tempo di esecuzione: 0.051 secondi).
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.