Pan Hu
8 papers · 2014–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird
🔥
Unstoppable · Bronze
🚀
Conference Pioneer
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
metric temporal logic
(2)
incremental reasoning
(2)
datalog reasoning
(2)
knowledge base
(2)
query answering
(2)
latency optimization
(1)
interdomain routing
(1)
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)
Papers
AnyPro: Preference-Preserving Anycast Optimization based on Strategic AS-Path Prepending
NSDI 2026
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