Pan Hu
7 papers
· 2014–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π
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
Optimised Storage for Datalog Reasoning
AAAI 2024