Articles with public access mandates - Marco MannaLearn more
Not available anywhere: 3
Fast query answering over existential rules
N Leone, M Manna, G Terracina, P Veltri
ACM Transactions on Computational Logic (ToCL) 20 (2), 1-48, 2019
Mandates: Government of Italy
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
Mandates: Government of Italy
Navigating online semantic resources for entity set expansion
WT Adrian, M Manna
International Symposium on Practical Aspects of Declarative Languages, 170-185, 2017
Mandates: European Commission, Government of Italy
Available somewhere: 21
Guarded-based disjunctive tuple-generating dependencies
P Bourhis, M Manna, M Morak, A Pieris
ACM Transactions on Database Systems (TODS) 41 (4), 1-45, 2016
Mandates: Austrian Science Fund, Government of Italy, Vienna Science and Technology …
Polynomial Combined Rewritings for Existential Rules
G Gottlob, M Manna, A Pieris
14th International Conference on the Principles of Knowledge Representation …, 2014
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Combining decidability paradigms for existential rules
G Gottlob, M Manna, A Pieris
Theory and Practice of Logic Programming 13 (4-5), 877-892, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Polynomial rewritings for linear existential rules
G Gottlob, M Manna, A Pieris
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Mandates: Austrian Science Fund, Government of Italy
Group reasoning in social environments
E Acar, G Greco, M Manna
International Foundation for Autonomous Agents and Multiagent Systems, 2017
Mandates: Government of Italy
Enhancing DLV for large-scale reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
Mandates: European Commission
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017
Mandates: European Commission, Government of Italy
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
Mandates: Government of Italy
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
G Amendola, N Leone, M Manna
IJCAI, 5189-5193, 2018
Mandates: European Commission
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
Mandates: European Commission
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
Mandates: European Commission
Finite Model Reasoning in Hybrid Classes of Existential Rules.
G Gottlob, M Manna, A Pieris
IJCAI, 1831-1837, 2018
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Multi-head guarded existential rules over fixed signatures
G Gottlob, M Manna, A Pieris
Proceedings of the International Conference on Principles of Knowledge …, 2020
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Reasoning on anonymity in datalog+/-
G Amendola, N Leone, M Manna, P Veltri
Technical Communications of the 33rd International Conference on Logic …, 2018
Mandates: European Commission, Government of Italy
Polynomial combined first-order rewritings for linear and guarded existential rules
G Gottlob, M Manna, A Pieris
Artificial Intelligence 321, 103936, 2023
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
A Formal Comparison between Datalog-based Languages for Stream Reasoning.
N Leone, M Manna, MC Morelli, S Perri
Datalog, 151-165, 2022
Mandates: Government of Italy
Large-Scale Ontological Reasoning via Datalog
M Alviano, M Manna
Applications and Practices in Ontology Design, Extraction, and Reasoning …, 2020
Mandates: European Commission, Government of Italy
Publication and funding information is determined automatically by a computer program