conftrace_

Marco Manna

4 papers · 2015–2018 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

IJCAI (4)

Top co-authors

Nicola Leone (2) Giovanni Amendola (2) Georg Gottlob (2) Andreas Pieris (2) Pierfrancesco Veltri (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 Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018 Polynomial Rewritings for Linear Existential Rules IJCAI 2015