Marco Manna

Orcid: 0000-0003-3323-9328

Affiliations:
  • University of Calabria, Italy


According to our database1, Marco Manna authored at least 69 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Dyadic Existential Rules.
Theory Pract. Log. Program., March, 2024

A logic-based framework for characterizing nexus of similarity within knowledge bases.
Inf. Sci., 2024

Discrete preference games with logic-based agents: Formal framework, complexity, and islands of tractability.
Artif. Intell., 2024

2023
Polynomial combined first-order rewritings for linear and guarded existential rules.
Artif. Intell., August, 2023

Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects.
CoRR, 2023

Characterizing Nexus of Similarity between Entities.
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023

2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version).
CoRR, 2022

A Formal Comparison between Datalog-based Languages for Stream Reasoning.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019).
Theory Pract. Log. Program., 2021

I-DLV-sr: A Stream Reasoning System based on I-DLV.
Theory Pract. Log. Program., 2021

Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images.
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

2020
Large-Scale Ontological Reasoning via Datalog.
Proceedings of the Applications and Practices in Ontology Design, 2020

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.
Theory Pract. Log. Program., 2020

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification.
Theory Pract. Log. Program., 2020

Large-scale Ontological Reasoning via Datalog.
CoRR, 2020

Multi-head Guarded Existential Rules Over Fixed Signatures.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019
Ontology: Introduction.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
Theory Pract. Log. Program., 2019

Fast Query Answering over Existential Rules.
ACM Trans. Comput. Log., 2019





An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
The ASP System DLV: Advancements and Applications.
Künstliche Intell., 2018

Navigating Online Semantic Resources for Entity Set Expansion.
Proceedings of the Practical Aspects of Declarative Languages, 2018

Finite Model Reasoning in Hybrid Classes of Existential Rules.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Enhancing Existential Rules by Closed-World Variables.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Reasoning over Ontologies with DLV.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2017
Finite model reasoning over existential rules.
Theory Pract. Log. Program., 2017

Decomposing and pruning primary key violations from large data sets (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Reasoning on anonymity in Datalog+/-.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

Entity set expansion from the Web via ASP.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

Group Reasoning in Social Environments.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Document Layout Analysis for Semantic Information Extraction.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum.
Theory Pract. Log. Program., 2016

Guarded-Based Disjunctive Tuple-Generating Dependencies.
ACM Trans. Database Syst., 2016

2015
Taming primary key violations to query large inconsistent data via ASP.
Theory Pract. Log. Program., 2015

Taming Primary Key Violations to Query Large Inconsistent Data.
CoRR, 2015

Ontology-driven Information Extraction.
CoRR, 2015

Semantic Views of Homogeneous Unstructured Data.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Polynomial Rewritings for Linear Existential Rules.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Polynomial Combined Rewritings for Existential Rules.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013
Consistent query answering via ASP from different perspectives: Theory and practice.
Theory Pract. Log. Program., 2013

Combining decidability paradigms for existential rules.
Theory Pract. Log. Program., 2013

Query Answering over Disjunctive Datalog with Existential Quantifiers.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

2012
Team-building with answer set programming in the Gioia-Tauro seaport.
Theory Pract. Log. Program., 2012

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Theory Pract. Log. Program., 2012

The HiLeX System for Semantic Information Extraction.
Trans. Large Scale Data Knowl. Centered Syst., 2012

Efficient Query Answering over Datalog with Existential Quantifiers.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Efficiently Computable Datalog∃ Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Magic-Sets for Datalog with Existential Quantifiers.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011
On the complexity of regular-grammars with integer attributes.
J. Comput. Syst. Sci., 2011

Distributed XML design.
J. Comput. Syst. Sci., 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

ASP at Work: Spin-off and Applications of the DLV System.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
A Logic-Based System for e-Tourism.
Fundam. Informaticae, 2010

Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

2007
Semantic Clinical Process Management.
Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 2007

2006
Towards a Semantic Information Extraction Approach from Unstructured Documents.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

A Logic-Based Tool for Semantic Information Extraction.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

HiLeX: A System for Semantic Information Extraction from Web Documents.
Proceedings of the Enterprise Information Systems, 8th International Conference, 2006

A Logic-Based Approach to Semantic Information Extraction.
Proceedings of the ICEIS 2006, 2006

2005
Exploiting ASP for Semantic Information Extraction.
Proceedings of the Answer Set Programming, 2005


  Loading...