The following pages link to Marco Manna (Q2326743):
Displaying 20 items.
- (Q632802) (redirect page) (← links)
- On the complexity of regular-grammars with integer attributes (Q632805) (← links)
- Distributed XML design (Q657904) (← links)
- Enhancing DLV for large-scale reasoning (Q2326744) (← links)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
- On the Complexity of Ontological Reasoning under Disjunctive Existential Rules (Q2912705) (← links)
- Finite model reasoning over existential rules (Q4592706) (← links)
- Taming primary key violations to query large inconsistent data via ASP (Q4593009) (← links)
- Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM (Q4593021) (← links)
- Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (Q4911144) (← links)
- Guarded-Based Disjunctive Tuple-Generating Dependencies (Q5012571) (← links)
- I-DLV-sr: A Stream Reasoning System based on I-DLV (Q5019603) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)
- DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries (Q5140027) (← links)
- Fast Query Answering over Existential Rules (Q5222877) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)
- Consistent query answering via ASP from different perspectives: Theory and practice (Q5299585) (← links)
- Combining decidability paradigms for existential rules (Q5398317) (← links)
- Polynomial combined first-order rewritings for linear and guarded existential rules (Q6108762) (← links)
- A logic-based framework for characterizing nexus of similarity within knowledge bases (Q6497354) (← links)
