Marco Manna
Orcid: 0000-0003-3323-9328Affiliations:
- University of Calabria, Italy
According to our database1,
Marco Manna
authored at least 69 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
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
Artif. Intell., August, 2023
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects.
CoRR, 2023
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
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
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
Proceedings of the Applications and Practices in Ontology Design, 2020
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
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Theory Pract. Log. Program., 2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Datalog 2.0 2019, 2019
Large Scale DLV: Preliminary Results.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
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
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018
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
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
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
ACM Trans. Database Syst., 2016
2015
Theory Pract. Log. Program., 2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
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
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
2013
Theory Pract. Log. Program., 2013
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
Theory Pract. Log. Program., 2012
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Theory Pract. Log. Program., 2012
Trans. Large Scale Data Knowl. Centered Syst., 2012
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012
2011
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
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives.
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2007
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
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
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
Proceedings of the Answer Set Programming, 2005