Yavor Nenov

3 papers · 2015–2024 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (12)

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Ian Horrocks (3) Xinyue Zhang (2) Pan Hu (2) Boris Motik (1) Robert Piro (1)

Keywords

datalog reasoning (2) query answering (1) hypertree decomposition (1) optimized storage (1) fact consequence (1) seminaive evaluation (1) incremental reasoning (1) transitive rule (1) query optimization (1) union rule (1)

Papers

Optimised Storage for Datalog Reasoning AAAI 2024

Enhancing Datalog Reasoning with Hypertree Decompositions IJCAI 2023

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality IJCAI 2015