M. Manna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Dyadic existential rules Theory and Practice of Logic Programming	2025-02-14	Paper
Discrete preference games with logic-based agents: formal framework, complexity, and islands of tractability Artificial Intelligence	2024-07-25	Paper
A logic-based framework for characterizing nexus of similarity within knowledge bases Information Sciences	2024-05-06	Paper
Polynomial combined first-order rewritings for linear and guarded existential rules Artificial Intelligence	2023-07-26	Paper
I-DLV-sr: A Stream Reasoning System based on I-DLV Theory and Practice of Logic Programming	2022-01-10	Paper
Guarded-based disjunctive tuple-generating dependencies ACM Transactions on Database Systems	2021-11-25	Paper
DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries Theory and Practice of Logic Programming	2020-12-13	Paper
Precomputing Datalog evaluation plans in large-scale scenarios Theory and Practice of Logic Programming	2020-05-04	Paper
Reasoning on anonymity in Datalog+/--	2019-10-24	Paper
Enhancing DLV for large-scale reasoning	2019-10-10	Paper
Fast query answering over existential rules ACM Transactions on Computational Logic	2019-07-04	Paper
Taming primary key violations to query large inconsistent data via ASP Theory and Practice of Logic Programming	2017-11-09	Paper
Corrigendum: ``Combining decidability paradigms for existential rules'' Theory and Practice of Logic Programming	2017-11-09	Paper
Finite model reasoning over existential rules Theory and Practice of Logic Programming	2017-11-08	Paper
Combining decidability paradigms for existential rules Theory and Practice of Logic Programming	2014-02-27	Paper
Consistent query answering via ASP from different perspectives: theory and practice Theory and Practice of Logic Programming	2013-06-26	Paper
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues Theory and Practice of Logic Programming	2013-03-13	Paper
On the complexity of ontological reasoning under disjunctive existential rules Mathematical Foundations of Computer Science 2012	2012-09-25	Paper
Team-building with answer set programming in the Gioia-Tauro seaport Theory and Practice of Logic Programming	2012-08-30	Paper
Distributed XML design Journal of Computer and System Sciences	2012-01-11	Paper
On the complexity of regular-grammars with integer attributes Journal of Computer and System Sciences	2011-03-28	Paper

Research outcomes over time

This page was built for person: M. Manna