Marco Manna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDT | First-Order Rewritability of Rule-Based Ontology Mediated Queries with Negation. | Georg Gottlob, Marco Manna, Andreas Pieris, Aldo Ricioppo |
| 2025 | ICLP | neXSim: A System for Explaining Nexus of Similarities. | Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo |
| 2020 | KR | Multi-head Guarded Existential Rules Over Fixed Signatures. | Georg Gottlob, Marco Manna, Andreas Pieris |
| 2019 | LPNMR | Enhancing DLV for Large-Scale Reasoning. | Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fusc, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2018 | IC3K | Reasoning over Ontologies with DLV. | Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fusc, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2018 | IJCAI | Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. | Giovanni Amendola, Nicola Leone, Marco Manna |
| 2018 | IJCAI | Enhancing Existential Rules by Closed-World Variables. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2018 | IJCAI | Finite Model Reasoning in Hybrid Classes of Existential Rules. | Georg Gottlob, Marco Manna, Andreas Pieris |
| 2018 | PADL | Navigating Online Semantic Resources for Entity Set Expansion. | Weronika T. Adrian, Marco Manna |
| 2017 | ICLP | Entity set expansion from the Web via ASP. | Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian |
| 2017 | ICLP | Reasoning on anonymity in Datalog+/-. | Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri |
| 2015 | ICAISC | Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. | Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski |
| 2015 | IJCAI | Polynomial Rewritings for Linear Existential Rules. | Georg Gottlob, Marco Manna, Andreas Pieris |
| 2014 | KR | Polynomial Combined Rewritings for Existential Rules. | Georg Gottlob, Marco Manna, Andreas Pieris |
| 2012 | KR | Efficiently Computable Datalog∃ Programs. | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
| 2012 | MFCS | On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. | Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri |
| 2009 | PODS | Distributed XML design. | Serge Abiteboul, Georg Gottlob, Marco Manna |
| 2007 | CBMS | Semantic Clinical Process Management. | Massimo Ruffolo, Marco Manna, Vittoria Cozza, Raffaello Ursino |
| 2006 | JELIA | A Logic-Based Tool for Semantic Information Extraction. | Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Sacc |