Marco Manna

发表

Large-scale Ontological Reasoning via Datalog pdf

Mario Alviano, Marco Manna, Mario Alviano, 2020, Applications and Practices in Ontology Design, Extraction, and Reasoning.

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

Nicola Leone, Marco Manna, Roberta Costabile, 2020, Theory Pract. Log. Program..

Document Layout Analysis for Semantic Information Extraction

Nicola Leone, Marco Manna, Weronika T. Adrian, 2017, AI*IA.

HiLeX: A System for Semantic Information Extraction from Web Documents

Marco Manna, Massimo Ruffolo, 2006, ICEIS.

Large Scale DLV: Preliminary Results

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, CILC.

Logic-Based Technologies for e-Tourism: The iTravel System

Francesco Ricca, Marco Manna, Lucia Saccà, 2011 .

An ASP-based Approach for Optimizing DLV Evaluation

Nicola Leone, Marco Manna, Carlo Allocca, 2019, CILC.

Efficiently Computable Datalog∃ Programs

Giorgio Terracina, Nicola Leone, Marco Manna, 2012, KR.

Semantic Clinical Process Management

Marco Manna, Vittoria Cozza, Massimo Ruffolo, 2007, Twentieth IEEE International Symposium on Computer-Based Medical Systems (CBMS'07).

A foresight strategy proposal for ICT scenarios definitions: An application for PLM tools and systems

Angelo Corallo, Mariangela Lazoi, Claudio Pascarelli, 2014, 2014 International Conference on Engineering, Technology and Innovation (ICE).

Taming primary key violations to query large inconsistent data via ASP pdf

Giorgio Terracina, Francesco Ricca, Marco Manna, 2015, Theory and Practice of Logic Programming.

Distributed XML design

Georg Gottlob, Serge Abiteboul, Marco Manna, 2009, PODS.

Decomposing and pruning primary key violations from large data sets (discussion paper)

Giorgio Terracina, Francesco Ricca, Marco Manna, 2017, SEBD.

Magic-Sets for Datalog with Existential Quantifiers

Mario Alviano, Giorgio Terracina, Nicola Leone, 2012, Datalog.

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios

Nicola Leone, Marco Manna, Simona Perri, 2019, Theory and Practice of Logic Programming.

Consistent query answering via ASP from different perspectives: Theory and practice

Giorgio Terracina, Francesco Ricca, Marco Manna, 2011, Theory and Practice of Logic Programming.

Semantic Information Elicitation from Unstructured Medical Records

Nicola Leone, Marco Manna, Massimo Ruffolo, 2006 .

Reasoning over Ontologies with DLV

Mario Alviano, Francesco Ricca, Marco Manna, 2018, IC3K.

Reasoning Web. Declarative Artificial Intelligence: 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures

Marco Manna, Andreas Pieris, Andreas Pieris, 2020, Reasoning Web.

Polynomial Combined Rewritings for Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris, 2014, KR.

Ontology: Introduction

Gianluigi Greco, Francesco Ricca, Marco Manna, 2019, Encyclopedia of Bioinformatics and Computational Biology.

A Logic-Based System for e-Tourism

Nicola Leone, Francesco Ricca, Marco Manna, 2010, Fundam. Informaticae.

The HiLeX System for Semantic Information Extraction

Mario Alviano, Nicola Leone, Marco Manna, 2012, Trans. Large Scale Data Knowl. Centered Syst..

Entity set expansion from the Web via ASP

Nicola Leone, Marco Manna, Weronika T. Adrian, 2017, ICLP.

Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020

Francesco Ricca, Marco Manna, Nicola Leone, 2019, ICLP Technical Communications.

Combining decidability paradigms for existential rules

Georg Gottlob, Marco Manna, Andreas Pieris, 2013, Theory Pract. Log. Program..

Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments

Nicola Leone, Marco Manna, Antoni Ligeza, 2015, ICAISC.

Erratum to the paper: "A Logic-Based System for e-Tourism"

Francesco Ricca, Marco Manna, Giovanni Grasso, 2011, Fundam. Informaticae.

Navigating Online Semantic Resources for Entity Set Expansion

Marco Manna, Weronika T. Adrian, W. T. Adrian, 2018, PADL.

Ontology-driven Information Extraction pdf

Nicola Leone, Marco Manna, Weronika T. Adrian, 2015, ArXiv.

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward

Nicola Leone, Marco Manna, Giovanni Amendola, 2018, IJCAI.

ASP at Work: Spin-off and Applications of the DLV System

Nicola Leone, Francesco Ricca, Marco Manna, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

A Logic-Based Approach to Semantic Information Extraction

Marco Manna, Massimo Ruffolo, 2006, ICEIS.

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

Mario Alviano, Wolfgang Faber, Giovambattista Ianni, 2011, LPNMR.

On the complexity of regular-grammars with integer attributes

Francesco Scarcello, Nicola Leone, Marco Manna, 2011, J. Comput. Syst. Sci..

A Logic-Based Tool for Semantic Information Extraction

Nicola Leone, Domenico Saccà, Marco Manna, 2006, JELIA.

Towards a Semantic Information Extraction Approach from Unstructured Documents

Nicola Leone, Domenico Saccà, Marco Manna, 2006, SEBD.

The ASP System DLV: Advancements and Applications

Mario Alviano, Wolfgang Faber, Nicola Leone, 2018, KI - Künstliche Intelligenz.

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris, 2012, MFCS.

Large-Scale Reasoning on Expressive Horn Ontologies

Francesco Ricca, Marco Manna, Carlo Allocca, 2019, Datalog.

Enhancing DLV for Large-Scale Reasoning

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, LPNMR.

Finite Model Reasoning in Hybrid Classes of Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris, 2018, IJCAI.

Finite model reasoning over existential rules* pdf

Nicola Leone, Marco Manna, Giovanni Amendola, 2017, Theory and Practice of Logic Programming.

Group Reasoning in Social Environments

Gianluigi Greco, Marco Manna, Erman Acar, 2017, AAMAS.

Polynomial Rewritings for Linear Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris, 2015, IJCAI.

Enhancing Existential Rules by Closed-World Variables

Nicola Leone, Marco Manna, Pierfrancesco Veltri, 2018, IJCAI.

Semantic Views of Homogeneous Unstructured Data

Nicola Leone, Marco Manna, Weronika T. Adrian, 2015, RR.

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues pdf

Mario Alviano, Wolfgang Faber, Nicola Leone, 2012, Theory Pract. Log. Program..

Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014

Georg Gottlob, Marco Manna, Andreas Pieris, 2014, KR.

Reasoning on Anonymity in Datalog+/- ∗

Nicola Leone, Marco Manna, Pierfrancesco Veltri, 2018 .

Guarded-Based Disjunctive Tuple-Generating Dependencies

Marco Manna, Andreas Pieris, Michael Morak, 2016, ACM Trans. Database Syst..

Exploiting ASP for Semantic Information Extraction

Nicola Leone, Domenico Saccà, Marco Manna, 2005, Answer Set Programming.

Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015

Georg Gottlob, Marco Manna, Andreas Pieris, 2015, Description Logics.

Distributed XML Design

Georg Gottlob, Serge Abiteboul, Marco Manna, 2011, J. Comput. Syst. Sci..

Group reasoning in social environments (AAMAS 2017)

Gianluigi Greco, Marco Manna, Erman Acar, 2017, AAMAS 2017.

Fast Query Answering over Existential Rules

Giorgio Terracina, Nicola Leone, Marco Manna, 2019, ACM Trans. Comput. Log..

Multi-head Guarded Existential Rules Over Fixed Signatures

Georg Gottlob, Marco Manna, Andreas Pieris, 2020, KR.

Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations

Georg Gottlob, Marco Manna, Andreas Pieris, 2015, Description Logics.

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

Marco Manna, Jessica Zangari, Alessio Fiorentino, 2020, Theory Pract. Log. Program..

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper)

Nicola Leone, Marco Manna, Giovanni Amendola, 2017, SEBD.

Efficient Query Answering over Datalog with Existential Quantifiers

Giorgio Terracina, Nicola Leone, Marco Manna, 2012, SEBD.

Query Answering over Disjunctive Datalog with Existential Quantifiers

Mario Alviano, Wolfgang Faber, Nicola Leone, 2013, SEBD.

Querying Large Expressive Horn Ontologies

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, SEBD.

Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives

Giorgio Terracina, Francesco Ricca, Marco Manna, 2010, CILC.

I-DLV-sr: A Stream Reasoning System based on I-DLV pdf

Marco Manna, Simona Perri, Jessica Zangari, 2021, Theory and Practice of Logic Programming.

Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images

Pierangela Bruno, Marco Manna, Cinzia Marte, 2021, RuleML+RR.

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

Marco Manna, Jessica Zangari, Alessio Fiorentino, 2020, Theory and Practice of Logic Programming.