P
PaperPicks
Conferences
Researchers
Sponsors ♥
Pan Hu
3 papers at tracked venues · 3 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×3
Frequent coauthors
Kaiyue Zhao
×2
Shaoyu Wang
×2
Dingqi Chen
×1
Dongliang Wei
×1
Przemyslaw Andrzej Walega
×1
Dingmin Wang
×1
Hongming Cai
×1
Xinyue Zhang
×1
Yavor Nenov
×1
Ian Horrocks
×1
Papers
Incremental Maintenance of DatalogMTL Materialisations
BibTeX ⧉
AAAI 2026
·
Kaiyue Zhao
,
Dingqi Chen
,
Shaoyu Wang
,
Pan Hu
Goal-Driven Reasoning in DatalogMTL with Magic Sets
BibTeX ⧉
AAAI 2025
·
Shaoyu Wang
,
Kaiyue Zhao
,
Dongliang Wei
,
Przemyslaw Andrzej Walega
,
Dingmin Wang
,
Hongming Cai
,
Pan Hu
Optimised Storage for Datalog Reasoning
BibTeX ⧉
AAAI 2024
·
Xinyue Zhang
,
Pan Hu
,
Yavor Nenov
,
Ian Horrocks