知识表示与处理

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

welcome欧洲杯买球软件工程硕士（2015）

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

welcome欧洲杯买球软件工程学士（2012）

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

数据结构

智能信息系统建模

过程建模及优化

1. [AIJ] Pan Hu, Boris Motik, Ian Horrocks, Modular Materialisation of Datalog Programs, Artificial Intelligence 308 (2022): 103726.
2. [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.
3. [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.
4. [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.
5. [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.
6. [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，具名研究员

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