M. Manna

Available identifiers

zbMath Open manna.marcoMaRDI QIDQ2326743

List of research outcomes

Publication	Date of Publication	Type
Discrete preference games with logic-based agents: formal framework, complexity, and islands of tractability	2024-07-25	Paper
A logic-based framework for characterizing nexus of similarity within knowledge bases	2024-05-06	Paper
Polynomial combined first-order rewritings for linear and guarded existential rules	2023-07-26	Paper
I-DLV-sr: A Stream Reasoning System based on I-DLV	2022-01-10	Paper
Guarded-Based Disjunctive Tuple-Generating Dependencies	2021-11-25	Paper
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries	2020-12-13	Paper
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios	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	2019-07-04	Paper
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM	2017-11-09	Paper
Taming primary key violations to query large inconsistent data via ASP	2017-11-09	Paper
Finite model reasoning over existential rules	2017-11-08	Paper
Combining decidability paradigms for existential rules	2014-02-27	Paper
Consistent query answering via ASP from different perspectives: Theory and practice	2013-06-26	Paper
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues	2013-03-13	Paper
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules	2012-09-25	Paper
Team-building with answer set programming in the Gioia-Tauro seaport	2012-08-30	Paper
Distributed XML design	2012-01-11	Paper
On the complexity of regular-grammars with integer attributes	2011-03-28	Paper

Research outcomes over time

This page was built for person: M. Manna