conftrace_

Yavor Nenov

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

Achievements

Jump to papers ↓

+1 more ↓

🌍 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