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
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability
G Greco, M Manna
Artificial Intelligence 332, 104131, 2024
2024
A logic-based framework for characterizing nexus of similarity within knowledge bases
G Amendola, M Manna, A Ricioppo
Information Sciences 664, 120331, 2024
12024
Dyadic existential rules
G Gottlob, M Manna, C Marte
Theory and Practice of Logic Programming 24 (2), 227-249, 2024
2024
Polynomial combined first-order rewritings for linear and guarded existential rules
G Gottlob, M Manna, A Pieris
Artificial Intelligence 321, 103936, 2023
2023
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
Characterizing Nexus of Similarity between Entities.
G Agresta, G Amendola, P Cofone, M Manna, A Ricioppo
IPS-RCRA-SPIRIT@ AI* IA, 2023
12023
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
Dyadic TGDs-A new paradigm for ontological query answering
C Marte, G Greco, M Manna, F Guerriero, N Leone
Università della Calabria, 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
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
I-DLV-sr: a stream reasoning system based on I-DLV
F Calimeri, M Manna, E Mastria, MC Morelli, S Perri, J Zangari
Theory and Practice of Logic Programming 21 (5), 610-628, 2021
132021
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
F Calimeri, M Manna, S Perri
Theory and Practice of Logic Programming 21 (4), 402-403, 2021
2021
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
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
Reasoning Web. Declarative Artificial Intelligence: 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
M Manna, A Pieris
Springer Nature, 2020
2020
Role-Based Access Control via JASP
R Costabile, A Fiorentino, N Leone, M Manna, K Reale, F Ricca
LPOP: Challenges and Advances in Logic and Practice of Programming, 24, 2020
2020
On the Development of Industrial Applications with ASP
N Leone, B Cuteri, M Manna, K Reale, F Ricca
LPOP: Challenges and Advances in Logic and Practice of Programming, 11, 2020
2020
Multi-head guarded existential rules over fixed signatures
G Gottlob, M Manna, A Pieris
Proceedings of the International Conference on Principles of Knowledge …, 2020
42020
Large-Scale Ontological Reasoning via Datalog
M Alviano, M Manna
Applications and Practices in Ontology Design, Extraction, and Reasoning …, 2020
2020
Precomputing Datalog evaluation plans in large-scale scenarios
A Fiorentino, N Leone, M Manna, S Perri, J Zangari
Theory and Practice of Logic Programming 19 (5-6), 1073-1089, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20