Follow
Marco Manna
Marco Manna
Department of Mathematics and Computer Science, University of Calabria
Verified email at mat.unical.it - Homepage
Title
Cited by
Cited by
Year
" Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations"; Vortrag: 28th International Workshop on Description Logics, Athens, Greece; 07 …
G Gottlob, M Manna, A Pieris
A DLV-based Reasoner for Datalog+/-Languages
G Gottlob, N Leone, M Manna, A Pieris
From Philosophy to Computational Logic. Festschrift in honour of David …, 2012
12012
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
N Leone, M Manna, MC Morelli, S Perri
arXiv preprint arXiv:2208.12726, 2022
2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning.
N Leone, M Manna, MC Morelli, S Perri
Datalog, 151-165, 2022
2022
A Logic-Based Approach to Semantic Information Extraction
M Ruffolo, M Manna
ICEIS'06, 2006
92006
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
R Costabile, G Catalano, B Cuteri, MC Morelli, N Leone, M Manna
Theory and Practice of Logic Programming 20 (6), 864-879, 2020
62020
A logic-based framework for characterizing nexus of similarity within knowledge bases
G Amendola, M Manna, A Ricioppo
Information Sciences 664, 120331, 2024
12024
A Logic-Based System for e-Tourism
G Grasso, S Iiritano, M Manna, N Leone
2009
A Logic-Based System for e-Tourism
F Ricca, M Alviano, A Dimasi, G Grasso, SM Ielpa, S Iiritano, M Manna, ...
Fundamenta Informaticae 105 (1), 35-55, 2010
532010
A logic-based tool for semantic information extraction
M Ruffolo, M Manna, L Gallucci, N Leone, D Sacca
JELIA'06, 506--510, 2006
52006
ASP at work: spin-off and applications of the DLV system
G Grasso, N Leone, M Manna, F Ricca
Logic programming, knowledge representation, and nonmonotonic reasoning, 432-451, 2011
46*2011
Characterizing Nexus of Similarity between Entities.
G Agresta, G Amendola, P Cofone, M Manna, A Ricioppo
IPS-RCRA-SPIRIT@ AI* IA, 2023
12023
Characterizing nexus of similarity within knowledge bases: a logic-based framework and its computational complexity aspects
G Amendola, M Manna, A Ricioppo
arXiv preprint arXiv:2303.10714, 2023
22023
Combining decidability paradigms for existential rules
G Gottlob, M Manna, A Pieris
Theory and Practice of Logic Programming 13 (4-5), 877-892, 2013
292013
Combining deep learning and ASP-based models for the semantic segmentation of medical images
P Bruno, F Calimeri, C Marte, M Manna
International Joint Conference on Rules and Reasoning, 95-110, 2021
122021
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
M Manna, F Ricca, G Terracina
Theory and Practice of Logic Programming, 2012
352012
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments
WT Adrian, N Leone, A Ligęza, M Manna, M Ślażyński
Artificial Intelligence and Soft Computing: 14th International Conference …, 2015
2015
DaRLing: a Datalog OWL 2 RL Rewriter
A Fiorentino, M Manna, J Zangari
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
A Fiorentino, J Zangari, M Manna
Theory and Practice of Logic Programming 20 (6), 958-973, 2020
62020
Decomposing and Pruning Primary Key Violations from Large Data Sets
M Manna, F Ricca, G Terracina
CEUR WORKSHOP PROCEEDINGS 2037, 186-193, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20