Marco Manna

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