Pan Hu
7 papers · 2014–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (3) 🏃 Academic Marathon (11) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird
🌈
Renaissance Researcher
(6)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(11)
🔥
Unstoppable
(5)
🚀
Conference Pioneer
Conferences
AAAI (5)
IJCAI (1)
NSDI (1)
Top co-authors
Keywords
datalog reasoning
(2)
knowledge base
(2)
query answering
(2)
metric temporal logic
(2)
incremental reasoning
(2)
datalog program
(1)
hypertree decomposition
(1)
modular framework
(1)
rule-based reasoning
(1)
optimized storage
(1)
fact consequence
(1)
magic set
(1)
incremental update
(1)
datalog extension
(1)
temporal ontology
(1)
forward chaining
(1)
datalog materialisation
(1)
seminal algorithm
(1)
transitive closure
(1)
seminaive evaluation
(1)
Papers
Incremental Maintenance of DatalogMTL Materialisations
AAAI 2026
Goal-Driven Reasoning in DatalogMTL with Magic Sets
AAAI 2025
Optimised Storage for Datalog Reasoning
AAAI 2024
Enhancing Datalog Reasoning with Hypertree Decompositions
IJCAI 2023
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
AAAI 2022
Modular Materialisation of Datalog Programs
AAAI 2019
Epsilon: A Visible Light Based Positioning System
NSDI 2014