Marco Manna

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 44

Top Topics

Top Venues

Theory Pract. Log. Program.

Publications

Gianluigi Greco, Marco Manna
Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability. Artif. Intell. 332 (2024)
Georg Gottlob, Marco Manna, Cinzia Marte
Dyadic Existential Rules. Theory Pract. Log. Program. 24 (2) (2024)
Giovanni Amendola, Marco Manna, Aldo Ricioppo
A logic-based framework for characterizing nexus of similarity within knowledge bases. Inf. Sci. 664 (2024)
Giovanni Amendola, Marco Manna, Aldo Ricioppo
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects. CoRR (2023)
Georg Gottlob, Marco Manna, Andreas Pieris
Polynomial combined first-order rewritings for linear and guarded existential rules. Artif. Intell. 321 (2023)
Georg Gottlob, Marco Manna, Cinzia Marte
Dyadic Existential Rules. CoRR (2023)
Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo
Characterizing Nexus of Similarity between Entities. IPS-RCRA-SPIRIT@AI*IA (2023)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). CoRR (2022)
Georg Gottlob, Marco Manna, Cinzia Marte
Dyadic Existential Rules. Datalog (2022)
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri
A Formal Comparison between Datalog-based Languages for Stream Reasoning. Datalog (2022)
Francesco Calimeri, Marco Manna, Simona Perri
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Theory Pract. Log. Program. 21 (4) (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. Theory Pract. Log. Program. 21 (5) (2021)
Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari
I-DLV-sr: A Stream Reasoning System based on I-DLV. CoRR (2021)
Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images. RuleML+RR (2021)
Mario Alviano, Marco Manna
Large-scale Ontological Reasoning via Datalog. CoRR (2020)
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. CoRR (2020)
Georg Gottlob, Marco Manna, Andreas Pieris
Multi-head Guarded Existential Rules Over Fixed Signatures. KR (2020)
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. Theory Pract. Log. Program. 20 (6) (2020)
Alessio Fiorentino, Jessica Zangari, Marco Manna
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. Theory Pract. Log. Program. 20 (6) (2020)
Alessio Fiorentino, Jessica Zangari, Marco Manna
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. CoRR (2020)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Querying Large Expressive Horn Ontologies. SEBD (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory Pract. Log. Program. 19 (5-6) (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large Scale DLV: Preliminary Results. CILC (2019)
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
An ASP-based Approach for Optimizing DLV Evaluation. CILC (2019)
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Fast Query Answering over Existential Rules. ACM Trans. Comput. Log. 20 (2) (2019)
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
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Georg Gottlob, Marco Manna, Andreas Pieris
Finite Model Reasoning in Hybrid Classes of Existential Rules. IJCAI (2018)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Enhancing Existential Rules by Closed-World Variables. IJCAI (2018)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. IJCAI (2018)
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
Reasoning over Ontologies with DLV. IC3K (2018)
Weronika T. Adrian, Marco Manna
Navigating Online Semantic Resources for Entity Set Expansion. PADL (2018)
Erman Acar, Gianluigi Greco, Marco Manna
Group Reasoning in Social Environments. AAMAS (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite model reasoning over existential rules. Theory Pract. Log. Program. 17 (5-6) (2017)
Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri
Reasoning on anonymity in Datalog+/-. ICLP (Technical Communications) (2017)
Marco Manna, Francesco Ricca, Giorgio Terracina
Decomposing and pruning primary key violations from large data sets (discussion paper). SEBD (2017)
Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian
Entity set expansion from the Web via ASP. ICLP (Technical Communications) (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). SEBD (2017)
Weronika T. Adrian, Nicola Leone, Marco Manna, Cinzia Marte
Document Layout Analysis for Semantic Information Extraction. AI*IA (2017)
Giovanni Amendola, Nicola Leone, Marco Manna
Finite model reasoning over existential rules. CoRR (2017)
Georg Gottlob, Marco Manna, Andreas Pieris
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum. Theory Pract. Log. Program. 16 (1) (2016)
Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris
Guarded-Based Disjunctive Tuple-Generating Dependencies. ACM Trans. Database Syst. 41 (4) (2016)
Weronika T. Adrian, Nicola Leone, Antoni Ligeza, Marco Manna, Mateusz Slazynski
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. ICAISC (2015)
Georg Gottlob, Marco Manna, Andreas Pieris
Polynomial Rewritings for Linear Existential Rules. IJCAI (2015)
Weronika T. Adrian, Nicola Leone, Marco Manna
Semantic Views of Homogeneous Unstructured Data. RR (2015)
Marco Manna, Francesco Ricca, Giorgio Terracina
Taming primary key violations to query large inconsistent data via ASP. Theory Pract. Log. Program. 15 (4-5) (2015)
Weronika T. Adrian, Nicola Leone, Marco Manna
Ontology-driven Information Extraction. CoRR (2015)
Marco Manna, Francesco Ricca, Giorgio Terracina
Taming Primary Key Violations to Query Large Inconsistent Data. CoRR (2015)
Georg Gottlob, Marco Manna, Andreas Pieris
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. Description Logics (2015)
Georg Gottlob, Marco Manna, Andreas Pieris
Polynomial Combined Rewritings for Existential Rules. KR (2014)
Marco Manna, Francesco Ricca, Giorgio Terracina
Consistent query answering via ASP from different perspectives: Theory and practice. Theory Pract. Log. Program. 13 (2) (2013)
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD (2013)
Georg Gottlob, Marco Manna, Andreas Pieris
Combining decidability paradigms for existential rules. Theory Pract. Log. Program. 13 (4-5) (2013)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Efficient Query Answering over Datalog with Existential Quantifiers. SEBD (2012)
Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. 12 (3) (2012)
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Efficiently Computable Datalog∃ Programs. KR (2012)
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues CoRR (2012)
Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone
The HiLeX System for Semantic Information Extraction. Trans. Large Scale Data Knowl. Centered Syst. 5 (2012)
Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Magic-Sets for Datalog with Existential Quantifiers. Datalog (2012)
Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. MFCS (2012)
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. 12 (4-5) (2012)
Marco Manna, Francesco Ricca, Giorgio Terracina
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice CoRR (2011)
Marco Manna, Francesco Scarcello, Nicola Leone
On the complexity of regular-grammars with integer attributes. J. Comput. Syst. Sci. 77 (2) (2011)
Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca
ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
Team-building with Answer Set Programming in the Gioia-Tauro Seaport CoRR (2011)
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
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR (2011)
Serge Abiteboul, Georg Gottlob, Marco Manna
Distributed XML design. J. Comput. Syst. Sci. 77 (6) (2011)
Serge Abiteboul, Georg Gottlob, Marco Manna
Distributed XML Design CoRR (2010)
Marco Manna, Francesco Ricca, Giorgio Terracina
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. CILC (2010)
Francesco Ricca, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone
A Logic-Based System for e-Tourism. Fundam. Informaticae 105 (1-2) (2010)
Serge Abiteboul, Georg Gottlob, Marco Manna
Distributed XML design. PODS (2009)
Massimo Ruffolo, Marco Manna, Vittoria Cozza, Raffaello Ursino
Semantic Clinical Process Management. CBMS (2007)
Massimo Ruffolo, Marco Manna
A Logic-Based Approach to Semantic Information Extraction. ICEIS (2) (2006)
Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà
Towards a Semantic Information Extraction Approach from Unstructured Documents. SEBD (2006)
Massimo Ruffolo, Marco Manna
HiLeX: A System for Semantic Information Extraction from Web Documents. ICEIS (Selected Papers) (2006)
Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà
A Logic-Based Tool for Semantic Information Extraction. JELIA (2006)
Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto
Exploiting ASP for Semantic Information Extraction. Answer Set Programming (2005)