Skip to content
conftrace_

Marco Manna

4 papers · 2015–2018 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Venues

IJCAI (4)

Top co-authors

Nicola Leone (2) Giovanni Amendola (2) Georg Gottlob (2) Andreas Pieris (2) Pierfrancesco Veltri (1)

Research topics

Knowledge & Reasoning (2) Reasoning (2) Machine Learning (1) Optimization & Theory (1)

Keywords

existential rule (3) query answering (2) datalog reasoning (1) finite model reasoning (1) backward chaining (1) forward chaining (1) finite controllability (1) conjunctive query answering (1) computational complexity (1) closed-world semantics (1) ontology-based query (1)

Papers

Enhancing Existential Rules by Closed-World Variables IJCAI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018 Polynomial Rewritings for Linear Existential Rules IJCAI 2015