知识表示与处理

英国牛津大学计算机科学博士（2020）

上海交通大学软件工程硕士（2015）

法国高等矿业大学圣埃蒂安分校工程师学位（2013）

上海交通大学软件工程学士（2012）

2024.12 – 至今 上海交通大学软件学院，副教授

2021.11 – 2024.12 上海交通大学软件学院，助理教授

2019.10 – 2021.9 英国牛津大学计算机系，博士后研究员

数理逻辑
数据结构
过程建模与优化

1. [AAAI] Goal-driven Reasoning in Datalogmtl with Magic Sets
   Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemysław Andrzej Wałęga, Dingmin Wang, Hongming Cai, Pan Hu*
   In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 14, pp. 15203-15211. 2025.
2. [TODS] Accurate Sampling-Based Cardinality Estimation for Complex Graph Queries
   Pan Hu, Boris Motik
   ACM Transactions on Database Systems, vol. 49, no. 3 (2024), 12:1–12:46.
3. [AAAI] Optimised Storage for Datalog Reasoning
   Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
   In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 9, pp. 10748-10755. 2024.
4. [IJCAI] Enhancing Datalog Reasoning with Hypertree Decompositions
   Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks
   In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, no. 377, pp. 3383-3393. 2023.
5. [AIJ] Pan Hu, Boris Motik, Ian Horrocks, Modular Materialisation of Datalog Programs, Artificial Intelligence 308 (2022): 103726.
6. [AAAI] Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators, In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 5, pp. 5906-5913. 2022.
7. [MLJ] Jiaoyan Chen, Pan Hu, Ernesto Jimenez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks, Owl2vec*: Embedding of owl ontologies, Machine Learning 110, no. 7 (2021): 1813-1845.
8. [CIKM] Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks, Datalog Reasoning over Compressed RDF Knowledge Bases, In Proceedings of the 28th ACM International Conference on Information and Knowledge Management, pp. 2065-2068. 2019.
9. [AAAI] Pan Hu, Boris Motik, Ian Horrocks, Modular Materialisation of Datalog Programs, In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 1, pp. 2859-2866. 2019.
10. [AAAI] Pan Hu, Boris Motik, Ian Horrocks, Optimised Maintenance of Datalog Materialisations, In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32, no. 1, pp. 1871-1879. 2018.

国家自然科学基金青年科学基金项目，基于Datalog的混合式模块化知识推理框架研究，2023.1 – 2025.12，主持

英国工程与自然科学研究理事会项目，OASIS: Ontology Reasoning over Frequently-changing and Streaming Data，2019.10 – 2022.9，具名研究员

英国牛津大学访问学者、校外博士生导师