Marco Manna

According to our database1, Marco Manna authored at least 50 papers between 2005 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
The ASP System DLV: Advancements and Applications.
KI, 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

2017
Finite model reasoning over existential rules.
TPLP, 2017

Finite model reasoning over existential rules.
CoRR, 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.
TPLP, 2016

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

2015
Taming primary key violations to query large inconsistent data via ASP.
TPLP, 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.
TPLP, 2013

Combining decidability paradigms for existential rules.
TPLP, 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.
TPLP, 2012

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
TPLP, 2012

The HiLeX System for Semantic Information Extraction.
Trans. Large-Scale Data- and Knowledge-Centered Systems, 2012

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
CoRR, 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

Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
CoRR, 2011

Team-building with Answer Set Programming in the Gioia-Tauro Seaport
CoRR, 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. Inform., 2010

Distributed XML Design
CoRR, 2010

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

2009
Distributed XML design.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

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...