Marco Manna

Available identifiers

zbMath Open manna.marcoMaRDI QIDQ2326743

List of research outcomes

Publication	Date of Publication	Type
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
Taming primary key violations to query large inconsistent data via ASP	2017-11-09	Paper
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Manna